On Friday, 3 June 2016 at 18:41:36 UTC, Walter Bright wrote:
How did people ever get by with printed books and documents?
Printed books pick one font and one layout, then is read by people. It doesn't have to be represented in some format where end users can change the font and size etc.
