The record-breaking exploits of 20-year-old Dublin student Barry Murphy would seem to have gone unnoticed since this year’s international swim season began.