I was a bit shocked that the remark about Lynchburg got past the editor or fact-checkers. Lynchburg is named after a man with the last name of Lynch and has nothing to do with "lynching" (murdering) people.
Yes, it's an interesting fact. However, the town's name still has nothing to do with the term.
Also, Charles was a public official who questionably interpreted existing law to aid the Revolutionary War by jailing British sympathizers. "Lynching" didn't become associated with anti-black vigilante murder until closer to the American Civil War.