> Reddit will ban your IP and all accounts corresponding to that IP for alleged ban evasion of a single sub ban.

Is this anecdotal, or do you have more information about this?

In my experience the admins do not care about subreddit bans and only get involved when a person is consistently rule-breaking and evading bans.

Moderators of large subreddits don't even have a direct line of commutation with the admins anymore. There used to be a dedicated Slack where mods could escalate things.