Document the need for [Unset Universe Minimization ToSet].

2 jobs for !368 with fixpoint-tele_arg in 4 minutes and 12 seconds (queued for 2 seconds)
merge request