document what needs to be in pm_eval

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