Documented why all accesses to semanticHighlightingPresenter are ensured to be confined to the UI Thread