Barry Kelly hasn’t retired. Not officially, anyway. The 2017 season was his last as an inter-county referee but not as a match official.