Jerome Pinot writes:
> Some fixes, mostly in the html headers, for plus{,76,77,78,79}.html:
> - plus.html : a period to comma
> - plus79.html : a period to comma, fix version number. Reduce diff with
> plus.html
> - plus78.html : fix version number
> - plus77.html : missing head tag, reduce diff with plus.html
> - plus76.html : several tags missing, reduce diff with plus.html
I've committed a subset of your suggestions: the punctuation typos and
wrong version numbers.
As for the cosmetic changes, they're not really important. What matters
is the page content. Keeping the markup simple can reduce the barrier to
entry a bit. Keeping the pages similar helps too, because diff can catch
errors like the above typos. If enough cosmetic changes happen, diff
doesn't work and then errors accumulate (as happened here).
Since the older plus* pages are already consistent and only the 3-4
newest ones diverged, I did the opposite of your diff, and made the new
ones like the old ones.
