Clarify docs on when -ddump-* imply -fforce-recomp; fixes #7406