Fix misleading Binder limitation statement in Local Installation section

[Copilot]

The Local Installation section incorrectly stated "Binder will discard any work after 10 minutes of idle time" without context, implying local setups have this limitation.

Changes

• Reworded sentence to clarify this is Binder's limitation and the motivation for local setup
• Changed from stating a fact about Binder to explaining why users should install locally
• Added a markdown link on "Binder's" that points to the "Setup for Non-Berkeley Students" section for users unfamiliar with the Binder service

Before:

## Local Installation
- Binder will discard any work after 10 minutes of idle time.

After:

## Local Installation
- To avoid [Binder's](#setup-for-non-berkeley-students) limitation of discarding work after 10 minutes of idle time, you can set up a local development environment.

Original prompt

---

This section details on the original issue you should resolve

<issue_title>FIx misleading language in readme</issue_title>
<issue_description>"Binder will discard any work after 10 minutes of idle time." in the local setup section of the readme can be misleading for users who don't know that "Binder" refers to the Binder service -- which can lead to users thinking that the local setup will discard any work after 10 minutes of idle time, which is not true.</issue_description>

<agent_instructions>Fix README to say either say binder discarding work after 10 minutes is a motivation for local setup or remote the sentence. then open a pull request with the fix</agent_instructions>

Comments on the Issue (you are @copilot in this section)

• Fixes FIx misleading language in readme #1

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[jimfangx]

@copilot add link to [Binder's](to point to the binder section in the readme)

[Copilot]

@copilot add link to [Binder's](to point to the binder section in the readme)

Added link in commit 20af939. "Binder's" now links to the Setup for Non-Berkeley Students section where Binder is introduced.

[jimfangx]

i vibe coded a thing! LGTM, Approval.