Did he have Doe tags?
I read another account that said the game warden tagged it as a buck.
In PA, the tag reads Antlered for what is commonly called a buck and Antlerless for “doe”.
I’ve several antlered females at my buddies taxidermy shop over the years. This is the first one I recall seeing that appears to have rubbed its antlers. Typically, an antlered female doesn’t rub the velvet from the antlers and are said to be barren. Along the same line I’ve seen male antlered deer that never rubbed the velvet off and they almost always had missing shall we say danglers.