I've been a professional C, Perl, PHP and Python developer.
I'm an ex-sysadmin from the late 20th century.
These days I do more Javascript and CSS and whatnot, and promote UX and accessibility.
I believe people should know how to "edit a file over SSH on a remote server on nothing but a console", but whatever way they know it doesn't matter so long as it's portable and they're comfortable with it. Using nano, which is nearly as ubiquitous as vim, using sshfs, using rsync or scp to copy the file locally, using sed to change the parts they need in-place... there are loads of ways to do these things where learning one particular technology isn't necessary.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
I believe people should know how to "edit a file over SSH on a remote server on nothing but a console", but whatever way they know it doesn't matter so long as it's portable and they're comfortable with it. Using nano, which is nearly as ubiquitous as vim, using sshfs, using rsync or scp to copy the file locally, using sed to change the parts they need in-place... there are loads of ways to do these things where learning one particular technology isn't necessary.