So how about a little howto for slimcoin relaunch? What should we do? Download the latest post-relauch wallet executable and import our old wallet.dat to get the balance as at block 15935?