I wonder how many of the old names GitHub will redirect for. Link for 788 redirected me to the (at the moment) current repo with 795 stars. Tried going back to 1 stars and still works. Will be interesting to see when it starts removing the older redirects.