@nha @gjnoonan Oh. I meant public messages.

@echristopherson: yes public messages too

I don't see a star. But also I'm thinking maybe the 10,000-line limit would limit the usefulness of stars anyway.

Oh, now I see it. I wonder why they don't put it by the other three hover buttons.