It would be great if one of you can add that tips to the documentation.
In the upper right corner of any documentation page, you will find “Edit this page on GitHub”.
Follow the link and submit your suggested change.
Demonstrated here: https://youtu.be/dRfk9JAlPJk?t=1h16m17s