page.tags.contains( "gnome" )

• 2023-06 - IME input in Linux Minecraft (Chinese, Japanese, Korean Input)
• 2023-05 - Per-keyboard layout settings in Gnome (and any other wayland DE)