May 31, 2025 ยท linuxFree space on boot partition for Linux MintBug frequently encountered on my Linux Mint machine