Initial dump of semi-broken TextbookHTML format files