Fwd: Last Minute Dolphin Merge

[Heiko Becker]

On Friday, 6 August 2021 04:11:36 CEST, Nate Graham wrote:
> Relax, it was a joke. :) Still, we're gonna get blowback if we 
> don't include this change--that was my point.
>
> Flipping the default is a good idea, but because the commits 
> were reverted, there is no longer a setting to adjust; one of 
> those commits added it.

Yes, I reverted both commits which were part of the MR and created the 
tarball from that.
I'm happy to respin it though, if there's some consensus. The current 
proposal is basically 50149d6abb8a0a978db3c6afb5238bc42a4a89c8 with 
<default>false</default>, rihgt?