I think this will be very common come Atlas/Shanghai , and the guide could be much more specific on how to do this, and have a section that walks through the actual steps on doing this. From reading it looks like you need to do bond reduction steps, and then some of the normal minipool steps. But I think it would help and reduce questions, if there was a specific section called "Migrating 16-ETH minipool into two 8-ETH minipools" with all the specific steps needed.
I think this will be very common come Atlas/Shanghai , and the guide could be much more specific on how to do this, and have a section that walks through the actual steps on doing this. From reading it looks like you need to do bond reduction steps, and then some of the normal minipool steps. But I think it would help and reduce questions, if there was a specific section called "Migrating 16-ETH minipool into two 8-ETH minipools" with all the specific steps needed.