You are right Mike. I checked back my 2022 return and the excess employer contribution has been already taxed as "Income from federal Form 8889" and included in the Schedule 1, of 1040. That makes sense now. Appreciate your response.
