more documentation

4 jobs for better_minimizers in 10 minutes and 13 seconds