So Gmail decided to change the colors of the stars I use to categorize emails in different TODO-classes. All existing blue stars are now yellow, making them indistinguishable from existing yellow stars :-( https://support.google.com/mail/thread/468050935?hl=en&msgid=468053449