3 ms·Thanks Mike! We're still in VSCode -- thank you for kicking off that very first extension.by DHaldane 3y agoThanks Mike! We're still in VSCode -- thank you for kicking off that very first extension.