Jimmy is a tool to convert your notes from different formats to Markdown · HackerLangs