Note from 10 December 2021

Great news, #VSCode now highlights "all uncommon invisible characters in source code"! 🎉

This means the Gremlins extension should remove these characters, but I think it is still useful for some others.