Mail Rate Limiting lines not removed from greylist.conf by cancel script

If I add a domain, set its rate limiting, and then delete the domain, its spot on the pulldowns list is made empty but it is not removed. That’s probably because the line in /etc/milter-greylist/greylist.conf is not removed.

Before cancel:

After cancel:

Anyway, that’s just an observation (bug report?) since I expect that’s just cosmetic. I am not sure where minor bug reports go so posting here.

Ubuntu 24.04.1
Virtualmin 7.20.2