mrconfig: fix JEX remote URL