The index.html file is rendered instead of index.php which means that
the menu is missing because header/footer html is not rendered.
Publishing index.md instead fixes this problem.