Re: Ian Jackson 2018-10-11 <[🔎] 23487.15460.144648.495412@chiark.greenend.org.uk> > The problem with doc-base is not that it is a bad idea, it's that it's > not comprehensive enough. The problem with doc-base is that no one is using it. It had 20 years to become adopted. Let's move on instead of trying to keep it alive. Christoph