@Node name change Parenthesis -> Parentheses (from Paul DuBois)


Docs/manual.de.texi:
  @Node name change Parenthesis -> Parentheses (from Paul DuBois)
Docs/manual.texi:
  @Node name change Parenthesis -> Parentheses (from Paul DuBois)