For example, we should mention where the manifests come from and what is being proved in the example. We should also mention that they need to install the mobile app to generate the proof.