What they did is either tapped this on their phone if android or the similar on iPhone or pressed the CTRL+ F key. What that let's you do is search JUST the page you are on.

Trust me, you are mistaken