ParentFull threadjohnnyworker·> whose size is given as 107 GB, although it only takes 18.47 GB on diskIn context The 107 GB and 18.47 GB are being contrasted, not 100 GB and 107 GB.View on HN