Philipp von Weitershausen wrote: [snip] > Since nobody protested in the last 48 hours, I went ahead and merged > this change. +1 :) Thanks for looking into this, Philipp and Michael! Regards, Martijn