docs.compileall: Fix markup (rendering was off, noticed by Berker Peksag)