On Saturday, 4 January 2020 at 20:19:09 UTC, Sebastiaan Koppe wrote: > Besides, it doesn't work for everything, I have tried. This should be fixed regardless of defaults. We'll want it either way.