Matita bugs are managed using the Bugzilla bug tracker available at:

  http://bugs.mowgli.cs.unibo.it/