Convert old doc builders to doc gens and re-enable pretty printing their subjects via toString()