Delete vectors.html~