Remove option regarding AMS, automatic loading of AMS related classes and theorem support, RCS support.