Use the first N characters of the github commit hash, so it's easier on the eyes in mediawiki, also adding some more comments