Tagged #customization:

• Configure Keyboard Shortcuts for GNOME Workspace Switching 2024-05-14