@julian Yeah they're based in the Netherlands, he's also my most useful member, posts a lot of mixes for people to download etc. Hopefully fingers are pulled out of orifices and this gets merged.
The only issue is the redis adapter doesn't clean up
Check out the event lot page in the ACP (under advanced). The user's deletion event should have been logged, and the IP address should have been saved.
... as long as your NodeBB is new enough, that is