The ROH’s previous much-reprised production of Tosca, directed by Jonathan Kent, had become a comfortable old pair of ...