Delete obsolete file

The prompt before this point is '%n@%m:%~%#', so the deleted script no longer does anything useful and is a potential issue for anyone using an alternate theme.

merged

mentioned in commit 620a9026