"Joshua D. Drake" <jd@xxxxxxxxxxxxxxxxx> 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
