Metamath book: 10pt or 11pt?

[David A. Wheeler]

We're down to the wire on the printed Metamath book, and I have a question:
10pt or 11pt for the body text size? If you have a preference
(especially if you plan to get a copy), please speak up!

I just learned that the fonts, when printed, are smaller than I expected.
The current book is printed in 10pt font. If you just "print to a printer"
using US letter (8.5"x11"), on my system the pages are automatically
scaled to be bigger and it looks great. The same thing happens on-screen:
rescaling is easy and automatic. Obviously that's not true for a book,
but I only realized today that auto-scaling was fooling me.

For me, the 10pt size is a little hard to read, while 11pt is great.
11pt does require more pages, though I don't think it's too bad. Current estimate:
10pt: 241 pages
11pt: 289 pages
Norm is concerned about the size/weight, but since I expect it to be
hardcover I don't think that's as critical.

Some existing discussion here:
https://github.com/metamath/metamath-book/issues/143

Thanks!

--- David A. Wheeler

[Alexander van der Vekens]

I do not have any preference - the font of the current version of the book is fine, but a (slightly) bigger font (resulting in more pages) will also do.

Alexander