1295.

A gallery of cross-references and automatically numbered headings

www.uninformativ.de/blog/postings/2024-05-23/0/POSTING-en.html
collection,gui