> I think you can just delete the two lines above, rather than replace them > since escape_markup will convert them anyway, and they don't get any other use. Ah yes, of course. Even better. - Chris