You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It'd be useful to explain the motivation for this change. Both the existing and proposed variants do not seem problematic. The phrase "non-terminal" doesn't seem to be helpful, so happy to remove it.
Improve language by changing
to
The text was updated successfully, but these errors were encountered: