HTML renderer: need to escape text when it has options, too