Re: [Github-comments] [geany/geany] HTML comments inserted in PHP files (#1758)