Comment on DoubleCommand

I use this to map the second Return-Key of my macbook (between apple and cursor key) to another control key. That's cool when you work via ssh on remote unix servers and need the right control key e.g.. on the shell.