Update: I have moved this post to its own page, see http://www.tenshu.net/p/fake-hyper-key-for-osx.html for the latest version.