@joel@tumfatig.net Most ThinkPads have a BIOS option to swap the Fn/Ctrl keys. Sure, the label on the key won't change, but its functionality will.