Delete JSTricks.html (not needed anymore)