Comments are now disabled for this website. I don’t get many comments here (just 29 in 13 years - about half written by me), and the commenting system loaded a lot of javascript and recently started loading trackers too. I felt the risks here were not worth the tiny benefit, so off it goes.
The few comments left before this date have been copied into the text of the relevant posts.