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):

Beginne mit dem Vergleich von PEP 701 mit dem Abschnitt zu formatierten String-Literalen unter docs.python.org/3.12/reference/lexical_analysis.html sowie den dort referenzierten Abschnitten zu Grammatik und Ausdrücken. Aktualisiere die Dokumentation, um die unterstützte Verschachtelungsebene von Ausdrücken zu beschreiben, und kläre, ob die veraltete lexikalische Grammatik entfernt, ersetzt oder durch einen Hinweis ergänzt werden sollte.