glossary: substitute "ancestor" for "direct ancestor" in 'push' description.