GitHub ribbon in documentation.