Change Github time format for Greasemonkey