"optional" already means "allowed and not required"#11004

Draft

JovialKnoll wants to merge 1 commit intoneinteractiveliterature:mainfrom

JovialKnoll:enhance-brevity

Commits on Nov 4, 2025

it's obvious that 'optional' means 'is allowed but not required', so this is needlessly wordy
JovialKnoll
committed