[efxzsh]

It's a rebranding of https://idx.google.com/

[sadeshmukh]

I was under the impression that idx was formerly just the editor, but I guess that's changed.