> I'm impressed.
>
> If we end up changing the format of all the SRFIs, let's do this then.
> (But in a separate commit.)

Yay :D

One thing, some SRFIs had date ranges marked like 1999/01/05-1999/04/04.
I changed them to be like 1999-01-05 - 1999-04-04. According to Stack
Overflow
(<https://stackoverflow.com/questions/20413843/is-there-any-kind-of-standard-for-representing-date-ranges>)
that's one convention mentioned in the ISO standard. (One answer says
the standard prefers a double hyphen instead of the ordinary narrow dash
I used. I guess a double hyphen is equivalent to an en-dash or an
em-dash). Another alternative in the standard is to use a slash like
1999-01-05/1999-04-04 as John mentioned. I'm not sure how widely known
that format is. We could go with either one.

How quick is it for you to merge PRs in GitHub? I could also write a
script to send separate PRs about the dates since we don't yet know who
will send PRs about the other HTML changes and how much back-and-forth
it will involve to work out their details. This would involve 160 SRFIs.
Or if you already have clones of all the repos you could adapt the
Python script I used, it's very simple:
<https://github.com/lassik/srfi-iso-dates/blob/master/convert.py>. Any
approach is fine with me.