so file a bug upstream with a patch. I don't see why this should be debian's problem. Fyi, the docs seem to come from here: https://git.gnome.org/browse/gtk+/tree/docs/reference/gtk/gtk-query-settings.xml?h=gtk-3-22
- Bug#869386: on man page say what ! means 積丹尼 Dan Jacobson
- Bug#869386: on man page say what ! means D. B.