Some people use VSCode extensions