On 26/06/2018 19:23, Sebastian Huber wrote: > > I checked in the patch. If the section becomes too large, we can split it on > demand. The content is contained in separate files and thus easy to move. > Good idea, lets see how this evolves. Fewer manuals is simpler for searching. Thanks Chris