That jives with what he says, in the video, that it used to be a more-comprehensive holiday on Jan 6 and then got split into 2.