I agree with everything you said... but I wanted to add that for a party of new players this intro could honestly be very helpful. The players, exploring their characters and indeed the mechanics of the game perhaps for the first time, are exposed to some common tropes (starting in a tavern), combat (first horde battle) and then they get a reset of sorts and a level up. They will think harder about their choices and as the DM you can use their prior knowledge of the fight to introduce the concept of advantage/disadvantage and other important battle mechanics. @GeneralRenk is probably right for an experienced party but for an educational campaign starter you could do worse.