Your bug report #8053: shell-script mode <