Deleting design documents

[Nadav Samet]

Hi,

After I delete a design document, it still has a file on disk. Will they
still be there after a compaction? And regardless, is it safe to manually
remove the files?

-- 
Sincerely yours,
Nadav