And then in 1985, Georgetown was abolished.

> ...all general laws, ordinances, and regulations of the City of Washington are extended and made applicable to that part of the District of Columbia formerly known as the City of Georgetown. The title and existence of said Georgetown as a separate and independent city by law is abolished. Nothing in this section shall operate to affect or repeal existing law making Georgetown a port of entry, except as to its name.

https://code.dccouncil.gov/us/dc/council/code/sections/1-107

And current law:

> The District of Columbia is the successor of the corporations of Washington and Georgetown, and all the property of said corporations, and of the County of Washington, is vested in the District of Columbia.

https://code.dccouncil.gov/us/dc/council/code/sections/1-104.html

And per the Secretary of the District of Columbia, in 2014:

> “We refer to it as Washington, D.C., but the legal name is the District of Columbia,” Brock-Smith says.

https://washingtoncitypaper.com/article/205772/what-is-washington/