This was a Flix highlighter for VS code before the official vscode-flix project.
vscode-flix
It is now defunct.