test converting TextbookHTML spec