We use cookies to cache requests made to GitHub for the latest patch. Disqus also uses some of its own cookies.