For builtin extensions: at the bottom of this file, you can see the packages snippet that indicates the extension the tutorial needs to load. I would expect you just need neopixel there instead of corgio, but I’d have to check. (If you need multiple extensions, just add another line)
For extensions on github: This tutorial I wrote uses an extension that handles almost all of the game logic, so there are just a few blocks the play can customize it with. To get an extension in your project, you’ll want to add a snippet with syntax like the bottom here.
Ill see about updating the docs later to be clear on gow to do this~
I tried the following and unfortunately came up with no extension being loaded. package pxt-neopixel
And package neopixel
And package pxt-neopixel=github:microsoft/pxt-neopixel#v0.6.12