On Thu, 17 Nov 2016 11:19:43 +0100Daniel Vetter <daniel.vetter@ffwll.ch> wrote:> We don't just need better doc toolchains, we also need better docs for> our doc toolchain!Indeed. Applied, thanks.jon