in particular correct the obsolete claim that it can't be changed once any plans have been cached.
Attach a file by drag & drop or click to upload
