'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.