Great HR people like to do even the boring stuff