In the realm of Irish distance-running, this was the best performance for many years – a two-hour, 24-minute reminder to those in Athletics Ireland of what might have been.