they can use watever filename

just see how they configure the server.

e.g., microsoft can use default.microsoft as their homepage.
or,
apple can use bite.apple as their homepage too.

you can configure the filename.