Previous message mentioned the wrong url. See https://github.com/EiffelSoftware/es-libraries/commit/db31045df0f1732624c3d26fceaf02f95ce4f031