It has been quite a long time (over a year?) since the Mantis-based bug reporting site at inform7.com/mantis has been operational. The website still claims (Support | Inform 7) to be “in the process” of converting to JIRA. Does anyone know if this is still actually in progress? If so, is there an anticipated completion date?