Matita bugs are managed using the Bugzilla bug tracker available at: http://bugs.mowgli.cs.unibo.it/