I think we can live with it then. Please push the other change (regarding the README) and then I’ll merge.