Musk lawsuit, Trump lawsuit, and a new heavy hand at NIH