Translations:How to report a bug/12/ksh