On Sunday, August 10, 2025, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
>
> Possibly we should reword the tutorial intro a bit, to the effect
> that you can follow along with the examples if you have a source
> tree at hand. (Sadly, that's not going to be very many novices
> these days.)
>
I’d rather remove it from the docs and make a home for it in the wiki or,
probably better, have a separate git repository that they could clone.
David J.