wow, this is in fact a surprising news. probably I'm the first one to see this. thanks for letting us know.

While we had some disagreement on github, I enjoyed the communication with you. Good luck with your next journey.

ps. this also reminds me of your recent comment on github about my very old idea about continuous undelegation. Thanks for your belated but very nice comment. Bless you!