Also adding docs on pushing, and the script for pushing.