Hi I experienced the following bug: I browsed the Hobbes project there were two files hobbes-pavel<-krivanek hobbes-pavel_krivanek then when I click on the file I got hobbes-pavel_krivanek hobbes-pavel_krivanek so difficult to reproduce of course. Stef