Also do I understand correctly that "face" means "maximal line segment"?

In the statement of Sperners lemma this seems to be how he means it. You have a triangle who's faces have been subdivided. The face he is referring to is the face before subdivision I think.

This lines up with the usual statement I'm familiar with for Sperners lemma which involves triangulating an n-simplex.