Okay, it seems that there is a disagreement. So, should we then leave this discussion for a later PR? We want to release 0.7.1 tomorow if possible and it would be good to have all bug fixes included.