Is there a doc someone can point an inexperienced linux admin to on how to upgrade from 7.1 to 7.2? Is there a way to avoid resetting up the entire system up from scratch ( or is that still the recommended "upgrade" procedure ) ??? Thx. KH