@user170039 Since Jyrki Laahtonen is currently not
pingable in this room, maybe it would have been reasonable to include a link to this room when you pinged him in the other room. (Although since he is a rather experienced user, I suppose he is aware of this room.)