[Github-comments] Re: [geany/geany] Add filter for open documents sidebar item (PR #4210)