mysql-workbench-help: no modification; restricted re-distribution.
