no preferences option for this--the default should be OK; if we add a debug or troubleshooting menu, it can go there