We've removed debian-user@lists.debian.org from 803.
No further action is necessary. Thank you for being with us. Rejoin 803 [https://www.listbox.com/member/?member_id=25773141&id_secret=25773141-442b1fec] at https://www.listbox.com/member/?member_id=25773141&id_secret=25773141-442b1fec