Just your opinion, Jon, and while I respect that you have that opinion, I
strongly disagree.
My opinion is
exactly the reverse of yours: page numbers
must change whenever you switch to a different reading device
or change your font type/size, page margin etc. settings (because in practical terms, that amounts to switching to a different reading device).
You argue for another brand of
fake pages – ADE. I have nothing against Kris giving you that
option. But, please don't enforce those
fake pages for all Marvin users. Not ADE fake pages, and not Marvin fake pages, either.
Give us
actual page flips as page counts.

They are the perfect and 100% logical counterpart to flipping pages in a printed book. The same book
also has different numbers of pages in various printed editions, based on the font-type, font-size, paper-size, etc., used in this or that particular printed edition. Why should electronic books behave any differently in this regard?
Actual page flips as page counts = that is already how Marvin treats pages in
chapters, and how Marvin has
always treated pages in chapters, back in Marvin 2 and Marvin 1, too, and rightfully so. Why was no one "outraged" by that then? Why this sudden fascination for Marvin's completely unnecessary invention of
fake pages? Why are you OK with "pages in chapter" being page flips, but demand for "pages in book" to be something completely different and arbitrary?
We've already discussed all of this in that other
page-numbering thread, so we're just rehashing it here. But, the concern voiced by Cedhax in this thread will be addressed competently if Marvin treats "pages in book" in the same way that it has always treated "pages in chapter": if an image fits on the current screen, you're still on the same "page". If you need to flip the page to view the image, then it's another page (and Marvin can calculate all such necessary page flips in advance, in order to arrive at the total number of pages in the book). Issue resolved!