Delete indices files on discord message delete

[ThomasWu931]

Problem

When a files is deleted in a discord server of direct message channel, the file's index still remains inside of the indices folder. We would like to remove the indexes of deleted files from the indices folder.

Solution

Edit PastFileSearch.remove_doc to also remove files from indices

Next Steps

Na