Austin Clements <amdragon at MIT.EDU> writes: > This version fixes two minor formatting issues that Tomi pointed out > [1]. There are no other changes. > > [1] id:"m2d382ia9d.fsf at guru.guru-group.fi" pushed, d