Some confusion in the comments. In other news, a ddos knocked 600k GoDaddy customers offline yesterday morning. Couldn’t have happened to nicer folks, I’m sure.