we're replacing our internal search engine on #stackoverflow so there may be a brief (5-15 minute) outage network wide