A web based editor for editing markdown in real time