On Tue, 24 Jul 2007, Tobias Burnus wrote: > This patch updates the names, which was suggested by Janne Blomqvist. > The names match what is displayed as title of each document. > > OK for check in? Sure, go ahead! (This is the kind of change you can just commit without review, I'd claim. ;-) Gerald