Whitespace.
Widget for outstanding PRs. Fixes #101