Thanks Mike! We're still in VSCode -- thank you for kicking off that very first extension.