• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew lgtm (style, typechecking and tests) with your changes locally?

Note about the checklist

Have you written new tests for your changes?

My addition are just in the docs so no tests are needed

Reason for this change

This update to the documentation should reduce confusion for user learning about taps. The previous example is outdated in my view. Back then even the official repositories of formulas were listed as taps. Nowadays this is not the case anymore. Only external taps added after a install are listed now.

It was also commented by a maintainer that this part should be updated in the following discussion.