190.237.157.138 is globally blocked, but Bullseye claims it has no Wikimedia blocks

[urbanecm]

As of today, 190.237.157.138 is globally blocked (cf. https://es.wikipedia.org/wiki/Especial:Contribuciones/190.237.157.138 and https://meta.wikimedia.org/w/index.php?title=Special:Log&logid=45789922). Bullseye says it has no Wikimedia blocks:

Other tools, such as stalktoy, recognize the IP as globally (and locally) blocked:

[AntiCompositeNumber]

Moved to https://phabricator.wikimedia.org/T382527