quite hilarious...

https://radicle.zulipchat.com/ looks like nobody cares about it to me 

 The whole thing is irrelevant, as we have solved for that.