M marph91.github.io Jimmy is a tool to convert your notes from different formats to Markdown 35 points CTOSian 4 months ago 9 comments
