Hi Les,

No need to worry about deleting the source files. Even if it doesn't prove useful now, it may prove useful in the future. We're going to be improving our source handling and indexing, so eventually it will be much easier to search through sources that haven't yet been cited.