K 10 svn:author V 3 jhb K 8 svn:date V 27 2003-10-30T21:45:34.000000Z K 7 svn:log V 125 Fixup the sorting of some of the options. DISABLE_P* are still out of order to keep all of the opt_pmap.h options together. END