Yes, I read about the historical aspect a few years ago.

This said, I am still amazed that someone is fine with that (some "Richards" I discussed with presented themselves as "Rich", and some willingly as "Dick")