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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
