TL:DR going from HTML to PDF is more of a PITA than you think, .mobi and epub is pretty straightforward.