For agents, on top of README.md, which they read first.

• Change jevcrates in ~/jevcrates, commit there, then move the pin here. Never edit the submodule checkout in place.