Just out of curiosity (since you said ask me anything) -- How much did you sell TinyLetter for, and will you be joining Mailchimp? (What did the terms of the deal look like for this sort of acquisition?)