// This is the main HTML file that is served to the client. It is the entry point of the application.