Compact Documentation for Coding Agents: A Benchmark, an Optimizer, and Why It Does Not Transfer — ThinkLLM