Perhaps the takeaway is "beware overly long prompts" and "make sure the system prompt is relevant to the field of work your user prompt is about".

I definitely have looked at Zed editor's default prompt and thought "I hope this is worth the 7k tokens it costs me every session...."