On 1/13/20 4:35 PM, Timon Gehr wrote: > On 13.01.20 21:29, Martin Brezel wrote: >> ... If to fix PR, let's begin with D-Man, ... > :-( D-Man's bold simplicity always cracks me up. If anything, the site should switch to that bright red. :) Ali