ParentFull threadcAtte_·they were probably mentioning that, with pandoc, you can convert between HTML and PDF for any of these tools anywayView on HN