Mantis plugin for SURFconext and OpenConext