Actually emit menu.json from webmenu-xdg-generate