The mi editor - an editor that is meant to work everywhere.