Proofs: Proofs are created slowly in the Preview environment

When a user creates a proof in the Preview environment, the proof is created very slowly.

First reported on April 26, 2023.