OK @dan, my notes are not complete enough to file a good bug with time date and settings, so I did a quick repro–and failed to show the discrepancy this time. So, either I screwed something up, or it was a transient issue.
I edited my original post on that specific topic to remove the reference to the discrepancy. (If you haven’t seen it, the pictures of what I saw are still there.)
If I see a PG/Manual discrepancy again I’ll be sure to take good notes in case it is bug-worthy.