Does "Delete User" remove IP addresses from everywhere?

My site is hosted by Discourse. I deleted users before unchecking “log anonymizer details”. Does Discourse still have a log of their IP addresses somewhere? If so, is there any way for me to delete them or are they just stored by Discourse permanently now?

Note that I’m specifically asking about “Delete User” rather than “Anonymize User” - I realise it’s too late for anyone I anonymized before unchecking that box.

Update: I received a message from Discourse saying, “Currently, IPs are retained for security reasons, and there is no way to anonymize them directly from the Discourse interface. The team is having an internal discussion on this topic.”

The context was using “Anonymize User” after having unchecked “log anonymizer details”…so even in that case, Discourse still keeps users’ IP addresses. (I also seem unable to remove the registration IP from my own records.)

@Gavin_Hudson, you might be interested to know about this if you didn’t already.