Fix link to Homebrew Github repository (rebased onto dev_4_4)



This is the same as gh-778 but rebased onto dev_4_4.

----