Text this: Tributes to James W. Murphy, Senior Official Reporter of Debates in the Senate of the United States.