This is the right thing to do. As a user of bootstrap we will be in a better position to know which version to use. Anyways I have stopped using bootstrap V3 long back for my projects. It would have been great if release date of version 5 is released.