Coordinator v0.2.0 introduces config documentation annotations and a RISC-V prover client draft, plus removes state manager request in several components.