At work I sit behind a corporate firewall which neither knows sources.cs.bell-labs.com nor would provide me direct access to its ports if it did. I can get out through http proxies (eg curl). Is there any way to mount sources through this kind of static, or should I resign myself to only seeing sources from my home computer?