[jmgao]

I'm pretty sure it was go.corp.google.com, with corp.google.com configured as one of the search domains.

[fl0ki]

I think it was both, because I think it also worked even when it wasn't a search domain. Can anyone still at Google check?