highlightedTexts
Lines already coloured (#ky3fk2il), by their text and how it was read: a diff's sides come again and
again (an entry's page, a contribution's, the next entry's). The newest few thousand are kept.
export const highlightedTexts = new Map<string, string[]>()