The above stuff can be moved into `format.html`.