Removed script used for formal proof of rename system
Fixed links