Fork of micro-editor/micro

More plugin docs and improve doc formatting


Author Zachary Yedidia Date Commit Parent 6514b77e