Regardless, people have been calling it Juneteenth for over a hundred years, it was made a national holiday as Juneteenth, I'm gonna keep calling it that.
In Texas and maybe celebrated in other places(I haven't done the research) this is true. For a large swath of the United States it was obscure or unknown. Most of us learned about the Emancipation Proclamation though. Making Juneteenth a holiday rather than the Date of the Emancipation Proclamation is odd to me. It is as odd to me as say, celebrating Independence Day on the date the last colony got word of the signing on, hypothetically, July 5th.