#1817
When the disk space is tight, in addition to using some common tools to clean junk files automatically. But we also need to manually delete some huge files/folders as necessary, in order to efficiently release the disk space wasted at full blast.