Homebrewで「Error: Failed to download resource "texi2html"」に遭遇した

こういうシチュエーションだった

Homebrewを使ってmpv-player/mpvをインストールしようとしたパターン

やったこと

Homebrewをインストール

Command Line Toolsをダウンロードしてインストール
Homebrewをインストール

ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

Homebrewの動作を確認

brew doctor

お約束

brew update
brew install git

mpv-player/mpvをインストール

homebrew-mpvを参考に

「Error: Failed to download resource "texi2html"」に遭遇

brew tap mpv-player/mpv

==> Installing mpv-player/mpv/mpv dependency: texi2html
==> Downloading http://download.savannah.gnu.org/releases/texi2html/texi2html-5.0.tar.gz
==> Downloading from http://public.p-knowledge.co.jp/Savannah-nongnu-mirror//texi2html/texi2html-5.0.tar.gz

curl: (7) couldn't connect to host
Error: Failed to download resource "texi2html"
Download failed: http://public.p-knowledge.co.jp/Savannah-nongnu-mirror//texi2html/texi2html-5.0.tar.gz

brew で ffmpeg をインストールしようとしたら 404 エラーが出たを参考にして
/usr/local/Library/Formula/texi2html.rb
を修正

require 'formula'

class Texi2html < Formula
  homepage 'http://www.nongnu.org/texi2html/'
  #url 'http://download.savannah.gnu.org/releases/texi2html/texi2html-1.82.tar.gz'
  url 'http://download-mirror.savannah.gnu.org/releases/texi2html/texi2html-1.82.tar.gz'
  sha1 'e7bbe1197147566250abd5c456b94c8e37e0a81f'

  keg_only :provided_pre_mountain_lion

  def install
    system "./configure", "--disable-dependency-tracking", "--prefix=#{prefix}",
                          "--mandir=#{man}", "--infodir=#{info}"
    system "make install"
  end
  
  def test
    system "#{bin}/texi2html", "--help"
  end
end