I noticed that there were other plugins by WPMU Dev, but I did not see WP Smush Pro on the list.

This plugin “Reduce image file sizes and improve performance using the premium WPMU DEV smushing API within WordPress.” Basically takes the files and reduces the image file sizes. It might not be on the list because it sends the pictures to the “WPMU DEV smushing API” for processing.