Links for highlight-assertions