I don't think extras-testing or extras-devel use a PR1.3 specific URL (they didn't for PR1.2 and that was a far more major change).