Ah, nice, thanks @alessandrogario, should we add that note to the docs somewhere
a
alessandrogario
06/08/2023, 12:56 PM
I did not document it yet as I consider that as an internal/dev option. That said, if this problem is widespread I wonder how many users got affected by this and just gave up.
Yes, probably best to document it maybe