> Does anyone mind if I wipe out the /home/data/mu directory > on dolphin and replace it with the latest CVS version? I don't have any objections.