Ah, I know the problem: Most casual users would not think to run `brew options mutt --HEAD`. They will just run `brew options mutt`. So I thought to warn them not to try `--HEAD` and the sidebar patch.