Dorikka comments on No one knows what Peano arithmetic doesn’t know