On 3/8/21 8:30 AM, oliver wrote: >> (hopefully) fixed in deken-0.7.2, available via deken. > > YES ! thanks a lot ! > hooray. if you notice anything weird or unusual or unexpected, now it the time for feature requests ;-) (i'll probably not be able to implement any of them, but you never know...) gfdmasrf IOhannes