Further work on texinfo docs, looks almost fine now