BPIP.org doesn't recognise it as banned.
Is it either a bug in the interface, or something else?
It's something else, probably this:
I will request that theymos ban the "Lauda" account (u=101872)
Done.
Lauda is banned in the same way as
satoshi, such that it isn't possible to even log into the account anymore.
BPIP relies on
modlog for bans, but not everything shows up there.