Re: Re: distribution of INI information in the manual

We can get you a space for doc building and so forth, but right now we're working on some other important stuff that takes precedence..

I would be happy if you would be able to find the time sometime, but so far, there was always something else that took precendence. I *know* and *understand* that the current focus of systems is more important, so do not take this as an offence. Goba