nassh is starting to get some nassh-specific but connection-independent preferences.  we should formalize this and update the options page to expose these properly.