Export older characters to HTML as well