Not much point in keeping out of date docs in github.