Então, fiz mais algumas pesquisas e encontrei esta pergunta e resposta que leva Eu acredito que 'discos' podem estar me mostrando algo diferente do que eu estava procurando (eu estava com a impressão de que não havia espaço não alocado dentro das partições, obviamente eu estava errado).
O GParted, por outro lado, cria uma imagem diferente:
- Tamanhototaldapartição:12.74GiB
- Espaçousado:1.47GiB
- Espaçonãoutilizado:96,10MiB
Osnúmerosnãosesomame,naspropriedades,ficaclarooqueestáacontecendo:
Então, desmontei a partição, selecionei-a e, sob a partição, escolhi 'check' e aplicada.
Problema resolvido.