I’ve unset edit history visible to public but the orange pencil icon still appears on the post. I’d like to hide the pencil only for people who cannot see the edit history. In other words, I’d like the people who are allowed to see the edit history (but nobody else) to see the pencil.
This CSS solution hides the pencil for everybody but of course that means nobody can see the edit history…