Improving array search with #MongoDB
After solely relying on structured flat file storage, we have made a first step towards a database back end implemented with #MongoDB. Currently, this is live only for the arrayMap array selection, which is now considerably faster. Feedback, please!

