The Mantis plugin for ACRA