removing push script as it's not really globally applicable, more documentation changes