i would just as soon have the automatic update option to work. that’s what i’ve been depending on for years. surely, WP will wake up and fix this issue soon, don’t you think?
i have no pressing urgency to do the update till it is fixed. thanks for your thoughtful suggestion though.