Listing of personal records!

feature-request

#1

I know you can see PR’s in the graph online but can we also go back to the old fashioned list we used to have?!

Also, notifications that tell you when a PR has been broken and what that PR is.

These would be nice