Thank you
That's the beta repo. Once it's final, delete the "beta" at the end of the address to add the regular repo. Because once he has a 5s public release, the Pro version will be there and you prolly don't want to be messing around with a beta version of such a powerful utility. Just an FYI.