finished the human-readable html/dtbook mapping