4 ms·Done. Anything else?by DresdenNick 2y agoDone. Anything else?erhaetherth 2y agoNo, actually. Thank you for that. Your "Double vs. Github Copilot" page is great. I've signed up for the Jetbrains waitlist.