gbin merged copper-project/copper-rs-book#27 · May 16, 2026 10:29 doc drift, mainly about ctx #27 +107 -89