No conozco ninguna forma de hacerlo directamente dentro de Google Colaboratory, sin embargo, una solución útil podría ser instalar un complemento de navegador de revisión ortográfica de terceros, como Grammarly u otro complemento similar que funcione con su navegador preferido. Sé que esta probablemente no era la respuesta que buscabas, pero no conozco ninguna solución mejor, ¡realmente me disculpo! ¡Pero espero que esto haya sido al menos algo útil! Lo siento, no puedo ser de más ayuda!