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