GitHub's missing "I'm Feeling Lucky" button.