Could you actually move the "If no SHA is given ..." part up to the document for `SHA`?