On 26/02/2024 10:51, Ronny Seffner via Users wrote: >> is this an official solution? >> > Official ist to clear redis as maintainer/developer wrote at github. > > > Ronny Seffner The proper way is not to redefine defaults that you don't understand. But nobody listens for my voice anyway.