@ffledgling For the initial version we wouldn't need it. If we add an option to specify a file, then we should probably add an option to specify whether pref or user_pref should be used. But I'm not familiar enough with this to know if there is a better way.