It will not create any issues if one accidently removes the module. The user can still add it again in the backend. So no danger here and no reason to restrict options here.