я правильно понимаю кошелек качать отсюда  https://github.com/semuxproject/semux-core/releases ?