Text this: Michael J. Gibney (1948–2024): a man of his time who had the time of his life