staticSearch: Cleanup of obsolete code and features
: Martin Holmes
Minutes: 50
In the process of working on the current paper JT and I are writing, I noticed that we’re still inserting a docId property into the JSON, but we’re not using it anywhere. After some discussion with JT, I raised Issue #240, implemented the changes and created a pull request.