I don't particularly like tying the hash code to the short string; these strings are intended for human consumption, and we could change the format in a way that breaks hash uniqueness.