So, DKMS is being run after the installation of a kernel. Am I right?
Yes.
Btw, is all this documented anywhere?
I guess it isn't.
Kindly, David