'So Jimmy's claim that the first edit was "Hello world!" isn't to
be
taken literally?'
I don't see why not. It's far from unusual for a tech-savvy user to
type that phrase into a document as a first test. I would be surprised
if anyone expressed a good reason to doubt it.