Show HN: Leo – a Markdown engineering process for AI coding agents | Dark Hacker News