Except that you got it wrong. Betting on football pools is allowed.
My bad, you are correct. I'd forgotten that the pools still went on it has been so long since I put money on them.
It's obvious that lots of players etc are betting on football. That is a problem.
Personally I have no problem with a player betting on a game that neither they nor his club is involved with.