Thanks, I'll mail to mr Collins to inform him then. Thank you all for your help!
Last thing: I heard that the citation part of the manual is still undocumented. Is this right? If so, do you think what we discovered (especially about manually requiring libraries) may be useful? May I help? Thank you, Alessandro
