Not sure if I’m missing a setting or a visual cue, is there a way to identify an edited comment from the front end?

There’s a little pencil next to the downvote counter.

Edited to add: hey look at meee

Edited again to add: hmm, it shows it in my post history but not on this thread apparently

Edited again to add: hmm, maybe you’ve found a bug. It’s not showing up like it used to.

Edit after some time: pencil??

I could swear I have seen this pencil you are talking about before, but it doesn‘t show up on your comment. Maybe you were too fast with your edit? I don‘t know when exactly you edited your comment, maybe under 1 minute after your comment? I know some systems „allow“ hidden edits when done fast after commenting

edit after ~5 min

Y’all got it right - thank you!

Edit for posterity.

It shows up on android.

How do I add alt-text?
Edit: ah: between the braces