SimpleX Chat on Nostr: arithmetics says it's 4 :) And they generously billed 5 days having spent more than ...arithmetics says it's 4 :)And they generously billed 5 days having spent more than 10 (engineer-days).TOB are very good with Haskell btw, and double ratchet implementation was one of the focus points.