A cleanup you did not notice

Folder deletion had been leaving a few orphaned file records behind in rare cases. No files were affected; the records pointed at nothing. We fixed the cause and swept the leftovers tonight. If your file count looked one or two higher than it should have, it is correct now.