Remove info on releases available on Github; move old history to doc/
#9
The logs for this run have expired and are no longer available.
Loading
doc/
#9