Rename scop to scop.html