*** New option vc-ignore-vc-files lets you turn off version control
conveniently.