Atuin v18.13 – better search, a PTY proxy, and AI for your shell