No need for this yet. And it probably shouldn't go in the `index.html` anyway.