Printing

7 years ago • updated by 7 years ago • 0

Just a reminder that it is still hard to print. It would be great if there were a PDF export option as well, since people's browsers render differently.