info@54: <li>
info@54:   <a href="#history">History</a>
info@54: </li>
info@54: <li>
info@54:   <a href="#team">Core team</a>
info@54: </li>
info@54: <li>
info@54:   <a href="#community">Community</a>
info@54: </li>
info@54: <li>
info@54:   <a href="#translations">Translations</a>
info@54: </li>