Ok, I've verified it's a bug: https://bugzilla.wikimedia.org/show_bug.cgi?id=40190 I think stewards are already working on it to decide what's best, but you can ask at the page I linked; or local sysops can whitelist the IPs if they willing to (they were locally blocked as well, so I've no idea if they do).
Nemo