Merge the following from the English version:

1.12 -> 1.13 docproj/submitting.sgml
1.43 -> 1.47 internal/about.sgml
1.36 -> 1.40 internal/machines.sgml
1.11 -> 1.12 platforms/x86-64.sgml