<http://schema.org/description>
"It is very important to shrink the size of your filesystem and any partitions using your operating system BEFORE trying to shrink the drive itself! If you don\u2019t do this, you will chop the end off the filesystem when..."^^<http://www.w3.org/2001/XMLSchema#string>
<https://www.elastichosts.com/blog/how-do-i-shrink-my-disk-safely/>