@simon

“REFERENCES

(A long list of references, which I won't reproduce here to save space.)”

I know it’s mean to laugh at the poor AI that is doing the best it can… but there’s always space in html. 🙂

(Thank you for this conversion btw.)