The usual post-release command to update grep-3.10's web docs
failed for me.  This fixed it.