But note on the coppercoins image, that serif is larger than normal.
Machine Doubling affects the outside edge of devices, but doesn't enlarge like doubled dies and RPMs does to the devices.

If a Spread isn't present between the punchings, a enlarged mintmark isn't a RPM.

This coin is a variety, but not because of the mintmark.