On rereading the instructions for 2023 Form 8889, I did find that it says that excess employer contributions must be included in "Other income," which would imply Schedule 1 rather than as "Other earned income" on Form 1040. However, this instruction was written before line 1 of Form 1040 was split up in 2022.
