On Tue Dec 19 19:13:04 2017, tmark wrote:
> Please pull and review.

=> done. I did some improvements in the manual:
please pull, review and merge.