Interestingly enough, in old English you had “werman” and “wifman” for man and woman respectively, in which case referring to all with “mankind” makes perfect sense. So the originator for mankind seems more likely to be from that than the explanation that it’s a shortening of “humankind” to me.