[formerly_proven]

One of my annoyances with GitHub's UI is how it emphasizes committer and commit date (in particular), things which are less relevant and usually just noise compared to the author and authoring date.