Fri, 06 Sep 2019 15:50:57 +0200 wenzelm proper session-qualifier imports (amending "fixes" from adaa0a6ea4fe);
Fri, 06 Sep 2019 15:45:05 +0200 wenzelm more robust;
Fri, 06 Sep 2019 11:32:38 +0200 wenzelm unused;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip