Noteworthy

Shorter bits and pieces of news and noteworthy developments.