I wrote an app for a large customer (a bank) that automates some mainframe jobs from the unix side, then publishes its logs in a very simple webpage with only P

I wrote an app for a large customer (a bank) that automates some mainframe jobs from the unix side, then publishes its logs in a very simple webpage with only PRE html tags. I was amazed and confused when some users, all of them mainframe developers, came to me to ask if I could put a search box into that page. I replied "come'on, use Ctrl+F". You should see the look in their faces when they saw me doing it, with the keyboard first, then from the "Edit" menu. They replied "yeah, but most users don't know they can do that". I ended up incorporating a (slow) javascript search box from the web into that page. Now they're happy. So it's not just grandpa who doesn't know about Ctrl-F.