Damien, thanks for pointing that out. Yes, the two patches are quite similar – the primary difference is that the Windows patch uses random names for the deleted files, presumably to ensure that repeated deletions of the same file don't result in an attempt to recreate a file (which I guess is illegal?)
Randall, I'm not really too concerned about deleted files hanging around. We're careful to remove any .compact files, but that's because a .compact file would get used as the DB file after the main one was deleted. If for some reason file:delete fails after file:rename succeeds, the file would never be "undeleted". I'd prefer simply putting some note in the docs saying that .deleted (or whatever) files can be safely removed if they exist after a crash.