That is the thing that made me realize that this is not an official GitHub product.