3 ms·

thanks btw, if you're right, that post's top comment seems to make a strong case for keeping agents.md