Delete all-symbols.html