Over the last six months, linux-hwe-5.4-headers-5-4-0-xx haven't been deleted from usr-->src directory. Earlier from the current versions, v42 to v62 are still available.
Will there be any problem if I delete them manually? Ubuntu 18.04.
And, is there any explanation why this happened? System has been operating for over 18 months, but this started about 6 months ago.
