Software & Specification bug tracking

The bug tracking tool for software & specifications is at http://trac.annodex.net/report/.