"Joshua D. Drake" <jd@commandprompt.com> writes:
> On 07/16/2018 01:39 PM, Adrian Klaver wrote:
>> Not sure this is much different from the Wiki unless:
> The wiki is certainly "a place" that can be used for this but the wiki
> takes a lot of effort to find things on it, manage it etc...
You haven't exactly explained how that wouldn't be equally true of
this hypothetical new thing.
regards, tom lane