wow cool

• [[flancian]] https://social.coop/@flancian/108364460211078141 pull
• [[yog]] https://mathstodon.xyz/@yog/109252456054250325 pull

• [[bengo]] https://mastodon.social/@bengo/109357361761508645 pull

• [[flancian]] https://twitter.com/flancian/status/1529559862048325634 pull