The discussion regarding splitting the project has forked quite a bit, but it sounds like consensus in favor of splitting the project. Should we conclude that discussion and consider it decided that we will split the project, and start a new discussion on how? (composite builds vs new repos straight away?)