[Github-comments] Re: [geany/geany] Disable annoying tip/hint box (Discussion #3216)