Bought a mouse for Raspberry Pi setup needs and it turns out nowadays nobody sells plain old mice anymore. Every mouse is “a gaming mouse”.