[Mailman-Developers] Bug in 2.1.7 edithtml.py