* (bug 12257) Update some documentation files