Random and miscellaneous edits to the trivia section, hopefully in a way that improves the result.
Random and miscellaneous edits to the trivia section, hopefully in a way
that improves the result.

jskeet/nodatime,zaccharles/nodatime,jskeet/nodatime,zaccharles/nodatime,zaccharles/nodatime,zaccharles/nodatime,BenJenkinson/nodatime,malcolmr/nodatime,zaccharles/nodatime,BenJenkinson/nodatime,zaccharles/nodatime,nodatime/nodatime,malcolmr/nodatime,malcolmr/nodatime,nodatime/nodatime,malcolmr/nodatime