is "edX" ok here, should we be using "open edX"? (I think edX is probably fine but I'm a bit unsure how we're moving forward with branding, etc)