Update push and terminal documentation