A Mantis plugin adding custom categorization options for bugs