Since recently there appear "native" menu entries in addition to those
defined for the Trac menu plugin in
trac.ini. The menu now looks like
Home | Download | Documentation | Mailing Lists | Tickets | Source code | Timeline | Browse source | View tickets | Search
The menu entries "Browse source" and "View tickets" shouldn't be there.
Curiously the menu was correct after upgrading from Debian 6 to 7 and a reboot. Therefore it seems the problem was caused some update after the release upgrade.