>     The repo <https://bitbucket.org/cowan/r7rs>, which contains the
>     R7RS-small spec, has been replaced by
>     <https://github.com/johnwcowan/r7rs-spec>.
>
>     The repo <https://bitbucket.org/cowan/r7rs-wg1-infra>, which
>     contains my work area for pre-SRFIs among other things and is the
>     continuation of small.r7rs.org <http://small.r7rs.org/>, has been
>     replaced by <https://github.com/johnwcowan/r7rs-spec>.

The following three repos exist under John's GitHub account:

* https://github.com/johnwcowan/r7rs
* https://github.com/johnwcowan/r7rs-work
* https://github.com/johnwcowan/r7rs-spec

Does today's announcement imply that w7rs-spec will be the only one of
the three that will stay relevant going forward?