+1 with Michael’s and Hannes’s comments. Who extracts and prints this documentation, though? /M > On 15 Jun 2016, at 13:47, Hannes Wallnöfer <hannes.wallnoefer at oracle.com> wrote: > > n