> On Dec 17, 2015, at 2:05 PM, Brian Hechinger <wonko at 4amlunch.net> wrote: > > I can delete and create files just fine. > > Grrrr. Scrub it now. Just in case. A scrub is always a good idea anyway just to make sure bits haven't rotted on the disk. Dan