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