I have a customer with a file-space problem. what is the preferred way to cleanly increase the size of the file partition? I can't find anything obvious in the manuals... -- clint