This is compiled from an external HTML fragment in helloWorld.html!