Hm. Speaking of Panic’s upcoming Nova code editor, I just noticed that they removed the link to Coda (their previous code editor) from their front page. Hopefully that means they’re close to an actual public release.