Add more essential VSCode extensions

5 jobs for master in 5 minutes and 25 seconds (queued for 1 second)
Status Job ID Name Coverage
  .Pre
passed #510247
preflight

00:00:20

 
  Build
passed #510250
README.pdf

00:01:02

passed #510249
tex

00:04:05

 
  Test
passed #510255
test-pdfs

00:00:56

passed #510252
test-self

00:01:20