How to switch or restore wallet with non-pristine Electrum GUI

Added instructions for OSX, but I guess they work for Linux too.

Also the editor automatically sanitized whitespaces from HTML code.