some improvements of the intl docu page, which have been annotated by @stof