GNOME 3.22にアップグレードした後は、GNOMEツール（ノーチラス、一般デスクトップ、geditなど）に集中してF1ヘルプセンターを無効にする方法がないようです。 F1を使って拡張するようにguakeを設定したので、なぜかなり迷惑なのか理解できます。
更新されたキーボードショートカットページを見てみましたが、そこにはF1もなく、「ヘルプセンター」のようには見えません。
私ができることはありますか？
私のシステムはArch Linuxです（pacman -Syuの許可を得て更新されました）。