@petere Whichever is preferred. I can re-add the extra line upstream if that is idiomatic Homebrew.