Fixup #12892 - replace marked text with highlighted text (#13019)
Follow up of #12892
Summary of the issue:
A usage of "marked text" still remains, while other usages have been replaced with "highlighted text"
Description of how this pull request fixes the issue:
Replaces marked text with highlighted text
