Not too long ago, Richard added an option to control whether we display include stacks on notes. Based on feedback from the community, the default of this option was made "off": we don't show include stacks for notes.<div>
<br></div><div>Would it be possible or desirable to remove this functionality completely? That is, does anyone see value in being able to enable these stacks under certain circumstances?</div><div><br></div><div>I don't have a strong opinion here, although I always like deleting code. I'm just refactoring the text diagnostic emission and wanted to not spend time fixing rather than deleting unless this functionality is in active use.</div>