argh, no wordpress, the eighth element in a list written as “8)” should NOT be converted into a smiley face… 2009/06/24