Oh, I skipped right over that first image. Would it have killed them to say the app name? Because the word “lens” doesn’t appear anywhere in the article. And I don’t think it’s installed by default; it at least wasn’t installed on my phone when I checked just now. (And the fact that the first link in the article explicitly mentions the Camera app doesn’t help.)