"edX web site" instead of "edX server"?