I happened to come across this:
https://arxiv.org/pdf/1901.01973
I found this to be really interesting reading, so I wonder ifwe shouldn't cite it in history.sgml or some such place.
regards, tom lane