Big bug bear of mine. If that happens anywhere else in the pitch , would the ref give a free kick ? The answer is yes.

Refs seem to think the rules outside the box don’t apply inside.