Subject: user-manual.html invalid HTML

From: [email-masked]
Date: Fri, 12 Dec 2008 04:32:15 +0800

Please see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=507476
Which it turns out didn't get forwarded to [email-masked] after all.