Full threadwuxb·This is totally unrelated but the pdf does not show correctly on my chrome browser (linux), with letters running everywhere. It looks right in evince after download.View on HN