The change was in a commit immediately after one that said "I won't make an option" but the series doesn't have a PR or issue reference and my quick search found nothing relevant, so I guess there is no record of why it went from no option to not the default.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.