5 ms·

I was replying to j_m_b's comment, not the article. But you're right, the article doesn't sound like they vibe coded it.