Hace un tiempo, decidí probar @zeddotdev de nuevo. La experiencia con @solidity_lang aún no fue buena, y la extensión estaba desactualizada. Así que decidí contribuir y actualizar la extensión. La versión que contiene todas las actualizaciones se ha lanzado hoy 🎉