We stick to ProofHQ proofs for everything because it's really confusing to most everyone having both document proofs and PHQ proofs in the same environment. It's not a problem anymore because everyone is aware, but for a time I wanted to completely disable document proofs.