Keyboard shortcut sequences in GNOME extensions

Multi-stage keyboard shortcuts like Ctrl+Del → w exist in various apps. I prototyped this for GNOME extensions, where it's not natively supported.