Renamed "fourx" -> "phyraxi" in web.xml and index.html.