Re: [Mailman-Developers] [Bug 1418276] Re: Deleting a user via the REST API does not delete their user preferences