Board Thread:Script Suggestions/@comment-5211495-20160825142715

HighlightUsers has left unmaintained for one and a half year, and some links generated later than when the script loaded won't get highlighted.

Would using auto-generated CSS solve the problem? 