On Sunday, August 10, 2025, Tom Lane <t...@sss.pgh.pa.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.
