Adds sorting and categorization to the PR dashboard.
As of 13. 04. 2019. See the latest version.
These are versions of this script where the code was updated. Show all versions.
