The C++ linter Cpplint is printed like this in the Warnings Next Generation Plugin:

Looking at the source I see that the ampersand in the html special character + ( + ) has been escaped (C++ Lint; ). 

Is there any reason for escaping the + in  the first place? It's just a simple ascii character...

PS: Is "C++ Lint" a proper name for this linter? In the documentation it is only mentioned by the name cpplint (https://pypi.org/project/cpplint/ and https://github.com/google/styleguide/tree/gh-pages/cpplint)