Hmm, only comment I have is that maybe we should retain the user's ini preference in this case?

-[Unknown]