HotKeyNet != AutoHotKey and http://www.hotkeynet.com/ is not down.

Freddie has been very accessible about his projects and his opensource stuff on googlecode as well, I would ask him in his developer forum.