Hector Martin cites burnout, and Rust for Linux oppostion, in resigning.