Development version of Joe's own editor