> PS: I sent you a merge request on gitlab regarding documentation, as an > experiment... Let me know how it works for you!
I do not use/follow gitlab in any way, except as place to `git push`. Probably it is my bad, I failed to make it oblivious. Could you please send patch here?
