Text this: [Obituary/biographies of the muralist, Thomas H. Benton, who died at 85].