f-string docs update: the level of expression nesting in format specifiers

PEP 701 said:

Similarly, this PEP leaves up to the implementation the level of expression nesting in format specifiers but specifies a lower bound of 2 levels of nesting. This means that the following should always be valid:
f"{'':*^{1:{1}}}"

However, the docs haven't updated:

BTW, IIUC the specification of f-string has moved from syntax(lexical) to grammar.
Thus, it probably should be moved from https://docs.python.org/3.12/reference/lexical_analysis.html#formatted-string-literals to https://docs.python.org/3.12/reference/grammar.html or https://docs.python.org/3.12/reference/expressions.html#literals. Or a special note should be added.
At least this lexical grammar is outdated and should be removed (or replaced by the PEG grammar):

まず、PEP 701 と、docs.python.org/3.12/reference/lexical_analysis.html にあるフォーマット済み文字列リテラルのセクション、およびそこで参照されている文法と式のセクションを比較します。ドキュメントを更新して、サポートされる式のネストレベルを説明し、古くなった字句文法を削除、置き換え、または注記を添えるべきかを明確にします。