The page ?simpler setup for remote worktree update on push does not exist.