You/they might be interested in WardrobeCMS as well, it's a pretty nice markdown editor. http://wardrobecms.com/