shell-tips-and-tricks: format fixes (ready to be published).