There used to be a pull-down where you could give a "star" to a thread of particular interest. Have I just forgotten how to use it, or has that been taken away?
