Based on the note at the top of the page, it is once again proven that you don't want to be a beta tester for ProSeries and download the software early:

"If you downloaded the ProSeries 2023 tax program prior to 11/15/2023, it is possible you are experiencing the inability to update the1040 formset.  This will cause the program to display "Form not Final".  We have identified the root cause and will be pushing a fix overnight."

Next year I am going to wait and download the software in April ------ just to be safe and just in case I have to do a PA return ---------- those local forms might be ready by then.