Why though? Micro is a much better editor if you have to use a terminal and VSCode is much much better if you don't.

Seems odd to teach old needlessly difficult software just because you had to learn it.