Good of you to thank users for their input, even if from quite awhile back.
I have a recommendation if you'd like to direct your thanks to a specific user:
At the start of your reply to the user's post, use the @ to view the users who have commented on the thread, select the user you may wish to direct a reply to so that user knows they've been 'tagged' on the message.
If you're replying to the particular user's post, their username & avatar will be 1st in the list.
( EDIT: going back to your November involvement, you clearly know of the above tagging method - oops 🤣 )