Re: proposal: convert comments in documents to html comments

On Sun, Jun 26, 2022 at 6:02 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> I seem to recall some discussion of letting the commit info pop up
> as a tooltip.  Not sure that that counts as "unobtrusive", though.

I believe that I suggested this during the 2019 dev meeting at pgCon.
This happened during a general discussion of the release note writing
process.

I don't have much of a clue about our docbook toolchain, beyond the
basics (plus I have no front-end experience). Is anybody else aware of
a reasonable approach to making git hashes discoverable from the html
release notes?

--
Peter Geoghegan