Arguing isn’t worth it. Especially when people are being fussy. Let them pursue whatever avenues they like. All roads lead to you being right.