Having 13.1 GB of extra disk space is always good. Thanks to @DaisyDisk http://daisydiskapp.com/ Why not give credit where credit is due!