District of Columbia. To change name of Court of Appeals of District of Columbia, report to accompany H.R. 9437 [to amend act to establish Court of Appeals for District of Columbia]; submitted by Mr. Sumners of Texas.