The eventlog only shows mail.box.remove {"name":"info","domain":"..."}, and the directory's modification time is unchanged afterwards.

Looking at the mail container, the route passes the flag on correctly: routes/mail.js checks typeof req.body.deleteMails === 'boolean' and calls mailboxes.delMailbox(name, domain, { deleteMails: req.body.deleteMails }, auditSource). But in mailboxes.js the options argument is named _options and never used: delMailbox() deletes the database rows, the FTS index, the spamd dir and the sieve forwards, but nothing removes the maildir.

Expected: with the checkbox ticked, the maildir of that address is removed (or the checkbox is hidden if this is intentional). For now I remove the leftover directory manually.