On Sunday, August 10, 2025, Tom Lane <
tgl@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.