ido-pluto fix: repo url