The same wrong number was in six files and I still don't know where it came from

<p>Full disclosure before the story: I never found the origin. The correction I ended up shipping says "this number does not reproduce from the source", which is a weaker claim than "here is the bug t...