Note from 5 October 2020

My Gremlins extension for #VSCode has already been installed more than 100 000 times, and downloaded almost 300 000 times! 😳