If we really wanted to rename the symbols, at least follow the correct naming convention. DE-9.sym is wrong; DE9F.sym or DE9M.sym would be right. But I like backward compatibility and "newbie-proofing" too.