well, I think it is easier for the developers, we don't have to change the model name everytime. deepseek also does not have resource to serve 2 different v4 pro versions.