Может кому из новичков поможет. Но после п.2 и перед запуском semux.bat возможно потребуется перезагрузка компа. У меня не запустился кошелек. Поэтому я еще выполнил п.4, а когда и это не помогло, решил перезагрузиться. После - сразу запустился кошелек и началась синхронизация. Поэтому думаю, что может п.4 и не обязательно было делать.