Had a quick chat with Ned; I think we're safe with just "edX" for now, but thanks for pointing this out—we may try and do a once-over on the docs at some point to double-check the standard for branding issues like this