[geany/geany] 1f6590: Merge pull request #4210 from techee/doc_filter