Ask HN: What are the best developer tools built around Markdown?