Re: [Github-comments] [geany/geany] toggle comments - rename menu item and document magic behaviour (#1027)