jm ú·Íqûùÿ`¤?ð³ ÿ§üc^_5ÃLHe isn't a dev. He sells mining hardware. Maybe he felt he shouldn't get involved. Maybe he does or does not regret it. Ot really doesn't matter.
https://whatsonchain.com/tx/3db5e9a98ee2686a44d58e5f52d38e21e18f977376ce83fd207e086bfac01af3