Own version of Minix mined editor.