HtmlFormatter auf Streaming-API teilweise umgestellt