‘David Hume’ misses the point
Who wrote the comment? We may never know – names aren’t registered, and anyone could have decided to use that handle. But it’s not exactly a commonly-chosen nom de plume. Could it have been used to embarrass the person who most generally goes by that name? Perhaps.