Could you confirm the following - should resetting the Contact on a Case, which is under a different Account than the previous Contact, auto-change the Case's Account?

For example, Case currently has Account set to "ACME", with Contact "John Smith" (who is under ACME). If I change the Contact to "Jane Doe" (who is attached to Account "XYZ"), should the Case Account field change to "XYZ" automatically? Or should that be a manual change?

Currently, we have some confusion internally as to whether that should be happening. Could you confirm the expected functionality?