20:25 GNUmer: Is anyone aware of the developers' IRC nicknames?
20:34 ajax: https://dri.freedesktop.org/wiki/WhosWho/ may be helpful
20:37 GNUmer: Cheers.