[21:01:19] <Toerless Eckert> ping
[21:07:04] <mcr> hi.
[21:07:43] <mcr> Are you switching to otherName? will it contain text?
[21:13:07] <mcr> or structure? Your arguments about presentation are well taken.
[22:02:08] <mcr> hello?
[22:27:40] Toerless Eckert leaves the room