[Github-comments] Re: [geany/geany] Tweak toggle additional widgets docs (PR #3821)