This reverts commit 9d0dba44da. This was not a typo, but incorrectly matching parens in Info-mode.
9d0dba44da