-> based on the public nature of github I assume that every originator
of recently merged pull requests is fine with selecting the MIT
License. If not… speak up. We will try to deal with this...