This PR updates the version of MrDocs used by the collector extensions. The new collector script uses new MrDocs features and new options are included in mrdocs.yml to configure these features.