Merge the following changes in the English version:
applications.sgml : 1.8 -> 1.9 docs.sgml : 1.53 -> 1.54