I've heard professors suggest it before so it's always possible that they find out about it that way. It's probably also helps that the default $EDITOR for many

I've heard professors suggest it before so it's always possible that they find out about it that way. It's probably also helps that the default $EDITOR for many systems is vi, so students using the terminal or ssh might turn to nano as an alternative.