On Tue, Dec 17, 2013 at 8:54 PM, Reuben Thomas wrote: > Presumably in HTML the underscores are redundant and can > be removed? Indeed, removed in CVS. -- bye, pabs http://wiki.debian.org/PaulWise