My mom doesn't need dev tools preinstalled in her browser. Though I doubt removing them would make the browser faster/leaner.
My mom, like yours, would have no use for dev tools -- because she's just not interested. And neither would my brother, but my grandma would have loved learning about this stuff if she had lived long enough, and my kids have discovered this "secret hacker mode" all on their own and are delighted.