document what needs to be in pm_eval

2 jobs for !794 with ralf/proofmode-of-envs in 2 minutes and 4 seconds (queued for 4 seconds)
merge request