bash: remove useless docs.