Wietse Venema: > > further inspection I saw that index.html was not updated, and > > SOHO_README.html was also missing. > > The SOHO_README files were never installed. Perhaps this is because > they contain duplicate information from other files. Note that > SOHO_README is also not referenced by index.html.
Actually it is referenced, so that is a dangling link. It's fixed now.
Wietse
