[karatinversion]

That is what “de jure, not de facto” means - the ban is in place, but widely ignored and unenforced

[hhjinks]

Not "not de facto," "if not de facto." Definitely not de facto if some ISPs don't block it.