how can i export my settings (including my favorite servers and channels) so that i can import them on another machine?