Does this entire else clause for html5 make sense?  What is `html5_server`?