post_install() {
    echo
    echo 'NOTE: ghcup requires $GHCUP_INSTALL_BASE_PREFIX/.ghcup/bin to be in your PATH'
    echo 'NOTE: By default, $GHCUP_INSTALL_BASE_PREFIX == $HOME'
    echo 'NOTE: Alternatively, when GHCUP_USE_XDG_DIRS is set, GHCUP uses XDG-ish directories'
    echo
}