I saw that you often reply to posts, so I thougth this would be the easiest way to contact you, while provinding the ability for community to discuss it if it is needed.
Sometimes it is included, sometimes not, and each time it is, it is bundled as a binary blob that, as I understand, will change on every recompile, and is probably not easely reprodusable.
So my question is, do you intend on the keeping builded versions of manual in the git tree, and is it a good decision?