Merge following changes in the English version:
1.84 -> 1.86 docs.sgml
1.93 -> 1.95 index.sgml
1.34 -> 1.36 publish.sgml
1.34 -> 1.35 docproj/translations.sgml
1.35 -> 1.36 internal/about.sgml
1.18 -> 1.19 internal/machines.sgml
1.31 -> 1.32 security.sgml