If you don't mind @marcoscaceres, I'll be the judge of that. PR is a perfectly fine name to use here for all the reasons @KevinCathcart mentioned.