Fix doc that referred to maven repos at octopussy (which are gone now).Undo unicode char that was mangled with my first attempt.