Mailman CAPTCHA: rename displayhtml -> display