On Sun, 5 Aug 2018, Noel Chiappa wrote:
The problem with using the number of documents as a
gauge for that is
that Jon often acted as scribe, so that for many things published under
his name, he was acting more as editor.
OK, I'll think of some way of modifying it (I am always open to
corrections, but preferably offline); you won't believe the number of
"history" sites I've seen that directly contradict each other (even when
taking UTC/US/local time into account, and I try and use local time
wherever possible).
-- Dave