Comment by gigatexal

Love the idea and second the "to pdf" feature requests but on a high-dpi screen the text is a bit small and hard to read, some css tweaks are probably needed to make it perfect. Kudos.