Issue 6210: 	modules preferences handling deprecation is (possibly) wrong