All of those are good arguments and your diligence is admirable.

However, in this case if we know that Olin wrote those parts of the
manual, we should email him to ask whether he can approve dual-licensing
them as MIT. Going by his past opinions, he ought to be horrified at the
necessity for all these legal deliberations and would be amenable to
doing it. They're practically the same license anyways.