He is already familiar with it: https://twitter.com/hillelogram/status/1579942625242931200?s=21&t=RKrfPXQYcf-Ez9SEatS54A https://twitter.com/hillelogram/status

He is already familiar with it: https://twitter.com/hillelogram/status/1579942625242931200?s=21&t=RKrfPXQYcf-Ez9SEatS54A https://twitter.com/hillelogram/status/1579942625242931200?s... Hillel actually mentioned it cursorily in the thread.