I wasn’t trying to be defensive/offensive, just explaining why it’s not crucial to the discussion.
I did actually try to look it up on Otzer Hachochma, because, as you say, it’s a good resource (and more), but I couldn’t figure out how to search for this teshuva, and I forgot to write down the mareh makom supplied by hello99.