Once again we played the find the %&^*^^ highlight source game. Given the frequency of this game in the forums, I suspect it is frequent in the user world in general. Please make it possible to select a wayward highlight in the text and see its source within the current layout - note this includes manual highlights, visual filters, search results, show equivalent lemma/surface etc.
