* Add a property page for customizing symbols.dat.