At least get your history right
‘Charles Lynch (1736-1796) was a Virginia planter, politician, and American revolutionary who headed an irregular court in Virginia to punish Loyalist supporters of the British during the American Revolutionary War. The terms “lynching” and “lynch law” are said by some to derive from his name, but there is no evidence for this.’
If you are going to use stories to tell history you ought to be sure you have them straight
I was thinking of some other judge. In any event, a nicer reply would have been more appropriate. There was no need to get snide about it.