[Mailman-Developers] [PATCH] Avoid duplicates v2 / global new list user options