User volume of WorkSpace does not seem to have the size it should have according to the configuration

In AWS Console > WorkSpaces > my WorkSpace > Hardware it states the user volume has a size of 100 GB. However, in the WorkSpace, I cannot see a volume having a size of 100 GB. The volume I suspect to be the user volume (/dev/nvme1n1p1) has a size of 10 GB. When I launched the WorkSpace a few months ago, I set the size for the user volume to 100 GB. I restarted the WorkSpace a few minutes ago, but it's still at 10 GB.

user@U-WORKSPACE-NAME:~$ df -h
Filesystem       Size  Used Avail Use% Mounted on
tmpfs            1.6G  3.1M  1.6G   1% /run
/dev/nvme0n1p1    78G   55G   24G  70% /
tmpfs            7.8G     0  7.8G   0% /dev/shm
tmpfs            5.0M     0  5.0M   0% /run/lock
tmpfs            7.8G     0  7.8G   0% /run/qemu
/dev/nvme1n1p1   9.8G  9.0G  805M  92% /volumes/user
/dev/nvme0n1p15  105M  6.1M   99M   6% /boot/efi
tmpfs            1.6G   80K  1.6G   1% /run/user/133
tmpfs            1.6G  116K  1.6G   1% /run/user/1614401107
user@U-WORKSPACE-NAME:~$ mount | grep /dev/nvme1n1p1
/dev/nvme1n1p1 on /volumes/user type ext4 (rw,relatime,discard)
/dev/nvme1n1p1 on /home type ext4 (rw,relatime,discard)

The root volume has the correct size (which probably isn't that much of surprise, because it's the default size for a root volume). Did I misunderstand something or is the configuration of the user volume size ignored?