On Thu, 2020-10-22 at 09:35 +0200, Aleksey Shipilev wrote: > That's how it is supposed to work, methinks: if you want something to > happen (quickly) with a due process, then show up and give a helping > hand. Let me second this. +1 Thanks, Severin