* syntax.texi (Position Parse): Document rationale for ignored