Players and coaches are going to have to grin (or rather whinge) and bear it after football’s rule-makers decided that preserving the game’s essence and traditions are more important than the grievances of a few unlucky losers.