The comments about the manual in this bugreport are being worked on. Paragraph 7.4.4 has been moved; the other remark is in our TO DO list. Thank you for reporting them.