Because the workadventu.re website documentation regarding map building directly comes from that repo, it makes sense to export the menu in the repo. This way, when we add a new documentation page, we can edit the menu in the same pull request.
