> They pointed out a detail of algorithmic analysis that I had not mentioned. It’s a detail that I had never encountered before. I think it’s an interesting detail, but not one that needed to be included.

Who cares? We have a clear term for this and it is called "point scoring".

Just give the rest of the group further reading material if they want to study it in their own time and to not talk over minute details.

So just dismiss them with a "Great point" remark and tell everyone else to read the reading list later.

Job done.