better handling of annotations inside comment's <pre> and <code> tags