Is Tomato Ketchup Really That BAD For Footballers?

Every time a club signs a new manager, the manager usually comes
in with a new set of rules and informs the entire dressing room
about it as soon as possible. That’s normal. And those rules,
many times, involve some restrictions and even outright bans.
That’s also normal.  However, what has perhaps become a
little too normal is the banning of ketchup by every new manager
at almost every club. At this point, it just feels like once a
club gets a new head coach, you're expecting the announcement of
the ketchup chop in the next 3 to 5 business days.  What has
ketchup done to these managers that they never want to see it
anywhere near their players? Or could tomato ketchup really be
that bad for footballers?