Simpler RPC specs, #395.