On Sun, 2018-04-15 at 23:54 +0100, Stephen Finucane wrote: > Remove an unnecessary 'toctree' from the index page and fix some > definition lists. > > Signed-off-by: Stephen Finucane <stephen at that.guru> This patch was tangential to the rest of the series and the issues it fixed were bugging me. I've gone ahead and applied it separately. Stephen