I have repeatedly expressed the opinion that the most idiotic, as opposed to merely lazy, thing that Tyson has been revealed to have done was to listen to Bush's Biblical quotation and write a note to himself (which in the event he was too lazy to locate) to the effect, apparently, that Bush had clowned himself by taking credit for star names that were actually Arabic. So, since I wrote the words you complain about, it should be obvious that they are not intended to make Tyson seem in any way correct. I would be in favor of making this clearer by quoting someone to the effect that attributing to Isaiah the intent to take credit for star charts drawn up a millennia after Isaiah's death is profoundly stupid, but I was in a hurry to replace a vacancy on the page and an appropriate source didn't spring to mind. In any case, I am adamantly opposed to the change you propose, since it removes all specifics, leaving a tasteless gruel, and I don't see anything particularly "encyclopedic" about bad writing. The bit about Yahweh is directly from Tyson's acknowledgement of error on Facebook, btw, where he still shows no inkling of how moronic his interpretation of Bush's Biblical quotation is.