well the idea would be to leave the config option and then check in the extension if the user changed the default value and then throw an exception that explains specifically that this option was removed in 1.2.0