ProleText, encoding HTML before Markdown (and a modern reimplementation) | Hacker News Reader