Replace accidentally deleted files that supported tests.html