Do not use menu.json for webmenu.  Now it is missing
German translations that are in upstream.  "pycharm" and
"bluegriffon" is added to upstream menu.json.