[Github-comments] Re: [geany/geany] Possible plugin extension interface for symbol tree (PR #3910)