@arush good to know! I mostly just crosspost from here to Mastodon.