So did I, which is why I didn't check. But then, who'd have thought installing a graphics driver would require more than half of the system partition (here: I tried to install ROCm/AMDGPU on a test machine, which required "25 GB (!!) additional disk space)…
Checking disk space must be complicated. Package dependencies are easier… 🙊 💨