I've been thrown off track by this many times in the past, but always assumed that I had remembered something wrongly.

It turns out that I have both linux-image-3.13.0-88-generic and linux-image-4.2.0-38-generic

in my standard installation of Ubuntu 14.04.

What the devil's going on here?

No wonder I have struggled to check my current kernel many times in the past. Are these kernels?

I would usually expect a kernel filename to commence with "vmlinuz". Is that right or wrong?

Here are some more screenshots, of other items that always throw me off course. I don't even know which ones are the same and which aren't.

Edit: I just loaded the pictures one-by-one again, because a couple of the screenshots were missing the first time that I loaded them.