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