I was cleaning out old files to free up some space on my hard drive. I found four old movies/videos that were downloaded to my hard drive that are also in iCloud, so I deleted them. They totalled about 5.6 GB. Before I started this, the Macintosh HD Info window reported 91.15 GB available. I deleted the files and emptied the trash. The space available didn't change, so I restarted the computer. After restarting, the Info window now reports only 84.47 GB free. Um, what? How did I lose more space after deleting these large files?