July 7, 2020
9:27 a.m.
Hi, What is microdown ? What are its goals and objectives ? Where does it come from ? Is there any documentation about it ? There probably is a background story here, and it is probably a good idea, but unless I missed something, for me reading the mailing lists daily, it came from nowhere and got immediately integrated into Pharo 9. Sven