Revise documentation to reflect GitHub hosting.