I took an early retirement package from my employer in Pennsylvania (Penn State) in late June 2024. The package amounted to a year's salary. Pennsylvania state taxes were withheld for the entire amount per my W2. BUT by the time I actually received the payout about a month later in mid-July (at that point, I was no longer a Penn State employee of course), I had already sold my Pennsylvania house, moved to my Florida house, and officially established residency there. (This process had been in the works for a while already, which is how I was able to do it all so quickly.) This leads me to believe that I have overpaid state taxes in Pennsylvania. Is this correct?