docs on agent.rv.formatter