I remember it being “miner” in the first place. Kinda weird though as it was in regards to Ether which already moved to PoS by the time this term appeared, so technically there were no miners there.

It’s a messy world 😄