The main changes/additions are in the “When BMI cannot be reused” section discussing
what info (“module recipe”)
is needed to be able to re-build a module (module source only, possibly by using a different compiler) in “locally built BMI” and “installed BMI” cases