delete superfluous file from old html