Board Thread:General Mod Discussion/@comment-2A01:C50E:D637:5B00:6C8F:1EF7:5B38:177C-20190107193527/@comment-27219153-20190819051722

The highlighting feature was removed back in December iirc.