> Thanks - but I don't see the documentation for this in install.texi. I guess the person who implemented this forgot this part :-) Could you give a pointer/location as to where this should be added ? For the other issues, please open separate PRs, thanks. Arno