The text eef10095fe0d, as Debian 12 (Bookworm) shipped it.
Key name values for win32
virkeyname-win32(7) on Linux now