Add other domain names to GitHub Pages


Former-commit-id: 86db3cb46fb4890fcc22662bd540ac6c39667385