Now that's a great point!

He just posted an email, with ctrl+f replace of names. So probably not too long :)

Even "simple" posts like that took a lot longer than you'd think. At least if you take the time to make them read well and look good, which he did.