Some scripts for reseting domtool state