K 10 svn:author V 3 imp K 8 svn:date V 27 2002-10-26T06:25:11.000000Z K 7 svn:log V 239 A simple make world is too dangerous for most upgrades. Instead, copy the updating from stable section, and remove the kludge-o-rounds that are in there. Sometimes make world is safe, sometimes not. Let's document the safe way to deal. END