Delete bash-shell-shortcuts.html