Merge pull request #6264
9b5659d Remove translation for -help-debug options (Wladimir J. van der Laan)