Re: [PATCH v3 0/4] technical docs in make build

> Changes in v3:
>
> - old patch #1 discarded since it was separated into its own branch
>   ('rj/doc-missing-technical-docs' in next)
> - tyop in patch #2 (old patch #3)
> - new patch #4
>
> A range diff against v2 is given below.
>
> Note that the two remaining problems (see v2 below) have not been
> addressed but, even without a solution, these patches represent a
> good improvement. ;) (I am still hopeful that an asciidoc guru will
> turn up!)
>
> NOTE: this series is based on the v2-version of the patch #1, which
> in turn is based on commit 6ad8021821 ("The fifth batch", 2025-08-29).