The scenario: You want to change your disk layout, which involves shrinking the partition with the root file system.
You know that you can grow a file system on the fly. At least: most filesystem types
But shrinking a file system invariably means umounting it first.
And that is a …