How much effort would it be for BBC Sport to change their "Cricket" label to "Men's Cricket", since that's what it apparently means?