How do you explain that Github is using a naked domain (github.com)?