4 ms·

That makes sense, though given the result I don't think it was a bad decision. Congrats on open sourcing today in any case!