"Joshua D. Drake" <[email protected]> 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
