The names of pentathlete Mary Peters and hockey players Jimmy Kirkwood and Stephen Martin have been the subject of much reflection this week as Northern Ireland celebrated three more golds in what is now the most successful Olympics ever for competitors from here.