fix bug introduced in 1.9 (header regexps using just // weren’t colored)

_{– Delivered by Feed43 service}