post_remove() {
  echo "You may safely delete the '~/.xump' directory containing the config/highscore"
  echo "files, if you do not want to preserve them."
}