Anyway, the Gizmodo story has a comment which is as funny as it is on point, and it is worrying that it sounds so plausible:
> In his order, Trump also demanded that black holes be renamed to "space holes" and any mention of binary stars be scrubbed completely as the term implies the existence of stars that are non-binary.