don't know why anyone would ever quit this editor

but OK, everyone's got their reasons, I suppose