It sounds then like this PEP is Withdrawn:
* Introducing new syntax/grammar has a high barrier to overcome, and the benefits of adding `x?` do not meet that bar (in the opinion of the Author & Sponsor) when `x|None` is short enough to write and more clear * Using `x?` to mean `x|None` is inconsistent with TypeScript where there it roughly means `NotRequired[x]`. Such inconsistency would likely confuse folks coming from TypeScript, a very popular language.
Perhaps it would be useful to mark the PEP as Withdrawn, and provide a short paragraph at the top of the PEP summarizing why?
Since I pretty much just wrote that paragraph with the bulleted list above 🙃, I'd be happy to make the edits myself if there are no objections.