RMS@MIT-AI (Sent by ___026@MIT-AI) 04/08/79 01:35:56 As the one who made PACKAGE be set to user by warm booting, I now think it's a loss. Do you agree? ----- Yes, if package is a valid package, it should not be changed.