I have just done a bit of a disk clean up using:
sudo apt clean
sudo apt-get autoremove
Using Disk Analyser, I have found together with the latest 2 linux kernels headers, I still have “linux-headers-5.3.0-62” under usr/src
I am wondering why that old linux headers is still there, considering cleanups done by software centre and me doing apt cleaning as above.
5.3.0-62 is not listed in GRUB, only 5.4.0-56 and 54.
Is there a reason, or subtle requirement for this version of linux headers to be retained?