Added clarification on use of depopts

 for computing a correct recompilation sequence, following @AltGr's comment on #1321