Thanks - So, (as you said, it's not a Patchmanager issue, so I don't want to go off-topic here; maybe you can put up with one more question), is there something Schturman could change in his repo to make it actually an option, or would it really be better if he just removed the old one?