I have finally resynched the HTML version with the dead tree edition I put out at the beginning of the month. As I coded the HTML mostly by hand, that was a bit of an arduous task.
The HTML version now corresponds exactly to the printed version.
Advertisements
