Hi, Could we just drop those files: CREDITS INSTALL (but Documentation.html needs the section about Bookmarks) DEVELOPERS and just maintain Documentation.html ? Marc