VScode extensions

The extensions I use in VScode

https://marketplace.visualstudio.com/items?itemName=streetsidesoftware.code-spell-checker

https://marketplace.visualstudio.com/items?itemName=GitHub.copilot


Last modified November 9, 2023: update (ec7ceea)