Open
Description
Since top menu becomes crowded - can we drop the Other tools? It's really only VS Code. Make VS Code an icon nearby GitHub and Discord?
Later - can we merge Course, Community, etc at some point?
Also, do we show now anywhere our regular support channels? (just to clarify)
Originally posted by @shcheklein in #5134 (comment)