Remove outdated notations `pr1` and `pr2`

Replace them with `.1` and `.2`.
Merge pull request #207 from JasonGross/remove-pr-notations

Remove outdated notations `pr1` and `pr2`