I occasionally update my kernel from this web site http://kernel.ubuntu.com/~kernel-ppa/mainline/
I have been always downloading 3 deb files for installing linux header all, linux image and linux headers. I noticed one more deb file recently for 64 bit kernel called Linux-image-extra.
I would like to know what does kernel file Linux-image-extra do and should I also install it?