The word human is commonly used for both modern humans and members of the entire genus Homo. Hominids is a more general superset that isn't strictly correct here. The term hominin is more appropriate in this context and what they actually use in the abstract.
In my opinion though, "human" is the better word here for conveying the right mix of informality without implying the specific semantics of "Hominini sans Pan".
In my opinion though, "human" is the better word here for conveying the right mix of informality without implying the specific semantics of "Hominini sans Pan".