As a general advice, server bugs must be added into DIRSERVER, not DIR. The DIR token shoul dbe should be used for general problems like documentation errors, and general problems not related to the server itself. Following this advice will help us a lot to improve bug trakcing and resolution
