Comment 35 for bug 776040

@freeaqingme, I made some progress on bug 1807662 today. I'd much rather get that fixed properly than hack around with alternate DNS names that would realistically have to stay in our configuration forever because they'd end up embedded in people's setups.