Hello,
I think I have an idea for a useful extension: A plugin/dialog/something which displays a tree with all includes of the current file/project.
So could any user see fast which files depends on another and which includes are doesn't needed.
This feature is possible easy to implent, because the parsing is already done in the $(project).depends-file.