Notes on PHP sha1 being lowercase