reformatted a few pages, experimented (unsuccessfully) with HTML rendering