RE: More metaproblem

[Drew Adams]

> > Developers are users.  Some users are developers.  There is no
> > reason not to provide such info for users in general (IMHO).
> > Especially if we want to encourage users to contribute.
> 
> I suggest to put this issue on hold for a moment.  We don't yet have
> the contents of that file in its final form.  I suggest to wait
> until we do, and decide whether to move it into some manual later.
> There's no rush.

OK; sounds good.  Thanks for considering it, at least.