doc edits, bug fixes to ::pull