jeffd
committed
on 20 Jun 03
quotehtml pretty_name since it is displayed noquote in the html frag