On Fri, 24 Aug 2018 13:51:18 +0200 Federico Vaga <federico.vaga@xxxxxxx> wrote: > Since there are many documents, this take time and perhaps we can already push > the ones which are ready. > > My big dilemma is (which is more general): what about broken references? Do we > keep broken links which we know they will be correct in the future? Or, do we > remove all broken links and we add them back only when they work (if we > remember)? We want the kernel to be as close to release-ready as it can be at any time, that includes the docs. So please no broken links. It's a bit more work to keep things coherent, but it's what we need to do in the long run. Thanks, jon