[Github-comments] [geany/geany] Improve Go to Tag menu (PR #3542)