RenderToHTML.agda: Cleaning.