oooh, I think It Just Works and now I don’t have any more starred messages, although the Google interface still seems confused about which ones are starred or not. They show up in my inbox and when I click on the threads, but not when I click on the Starred filter. Ah well, I’ll fiddle with this another day.