Doc fix.
Version 2.13.
Don't mention github.