Added clarification on use of depopts for computing a correct recompilation sequence, following @AltGr's comment on #1321