[Github-comments] Re: [geany/geany] Highlight line numbers (Discussion #4005)