post_upgrade() {
	echo "When upgrading from a previous version, you may need to delete your save file stored in $HOME/.angband/Angband/save/"
}