I couldn't tell -- does this editor work with Remote ssh?