On 30.07.2019 08:33, Michael Van Canneyt wrote: > The documentation has already been fixed in this regard, there was a > bugreport about it not so long ago. Great, thank you. Is there some online version of the latest documentation trunk (nightly build)? Ondrej