Lauri Himanen authored Aug 31, 2020 and Markus Scheidgen committed Aug 31, 2020

Added support for ingesting/displaying DOS similarity data in Encyclopedia GUI. Additionally, the MongoDB metainfo extension now can handle nested sections.