...
I think this must be correct -- ...
hmm, but here it isn't.
I now can say that I obviously recalled correctly: I installed the new 3.16-0 kernel, and, without rebooting, run "kernel-remover -f" which - while observing it - deleted the newly installed kernel. Interestingly, it did not uninstall an old 3.9-2 kernel which for whatever reason survied all my previous attempts to delete it with the "-f" command (I noticed only now).
So, at least here it does not work like you described it. Which is not a big deal as you may circumvent it by running the command beforehand.
Just a heads up.
EDIT:
And after installing 3.16-0 a second time I have to object a second time: kernel-remover (without -f) sees 3.16-0 altough 3.15-8 is running.
But it does not see old 3.9-2 (update-grub does).
I now have to investigate how to delete 3.9-2, although I have to admit, I'm lost here. towo? melmaker?