Thank you, @CassLO . I didn’t file either of the two forms you mentioned. Where’s My Refund does say Tax Topic 152. So I’m assuming all is well.
