Added clarification on use of depopts for computing a correct recompilation sequence, following @AltGr's comment on #1321
Merge pull request #1322 from rdicosmo/depopts-revamp

Added clarification on use of depopts