[rename] HPlayer --> HumanPlayer