User-agent:
Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120224 Thunderbird/11.0
I doubt the change was related to any real problems with ctrl + alt +
cursor, but more with the centralization around super as the unity
modifier for interacting with the shell.