This is a port of the old texinfo documentation. Most of the texts were taken
without any changes of the content.