Added Paolo's github name.
Reformatting pull request report. Emphasizing PRs over 7 days old.
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages