renamed:    check-ip.bash -> check-ip.sh
	deleted:    extensions