Homebrew no longer deletes Info pages by default.