Discussion post suggestion -> Put a search box to search a user in PAGE OF COMMENTS

Hello DD developers

When i see many pages I can search a user specific comment, it would be nice if you could implement a search box somewhere within a discussion post to search for a specific user WITHIN THAT DISCUSSION to reply easily to know people first in that way

Just a suggestion as it is hard to search a commented  user within DD Discussion posts