Hello Is there any good reason to have outdated links (e.g. /doc/maint-guide instead of /doc/manuals/maint-guide) in Developer's corner page? Italian translation of that guide is yet not visible. -- Francesco P. Lovergine