I don’t have any deep attachment to using

page()

, but I have been migrating our wiki (which always goes stale) into README files, which I would like to publish to github wiki. I was hoping that page() would make that easy and I could crib from Larry’s work from 2015/6