Anyway, if we are ambivalent on whether it is safe, let's just do that @limited-country-20626 says and just put in an issue that we don't really need this option and it can be deleted after... time passes.