This doesn't actually affect anything but the annotation
on Ids will be used to fix Trac #10083.
Signed-off-by: Edward Z. Yang <email@example.com>
Simon and I agreed that instead of a new info, we'll add this information to the unfolding instead (i.e. "The reason this unfolding is missing is because it came from a boot file.")
We fixed this in a different diff.