#[2]​ had said “takes a minute”. I didn’t know whether he meant a literal 60 seconds or he meant “takes a brief moment”. If it’s the latter it’s no big deal.

I’d still love to see benchmarks though.