I recently started playing ToME and I can feel the attraction growing

Fortunately, there is only little to do at work at the moment. Unfortunately, Internet there is accessible only via a http proxy (with CONNECT support to numerous ports).
Seems like ToME doesn't support contacting the profile server through a proxy yet, does it?
I could, however, tunnel the appropriate port via ssh to my localhost, but I didn't find the profile server's ip/hostname anywhere mentioned in the config or lua files. Server ip/hostname is not a compile-time option, is it? Could I maybe specify it via a configuration option?
Unfortunately, I'm not root at my work desktop, so I cannot bend DNS of te4.org to point to localhost.
Has anyone got a better idea?
(Not sure this is the right forum/sub-forum to post this - please move my post if it's wrong here.)
Thanks!