Silly me, of course. That happens if you read PRs late night. In that case I agree that the prompt could be skipped.