On 2018/04/25 9:35, Paul B Mahol wrote: > On 4/25/18, Tomas Haerdin <tjoppen at acc.umu.se> wrote: >> [...] >> >> I'll push this this some time later this week if I don't hear any >> objections > > What is point of it if there is only one nickname? There are two nicknames. -- Josh