[Fix #476] Disable syntax checkers that report excessive errors
Never allow use of disabled checkers
Merge branch 'disable-excessive-checkers'

* disable-excessive-checkers:
  Never allow use of disabled checkers
  [Fix #476] Disable syntax checkers that report excessive errors
Update documentation
Update texinfo manual