Unfortunately many unnecessary merges due to the workflow of Stripping contributors. That will need a more sophisticated treatment to get rid of, i.e. for next time...