Your comments

Of course, record constructors don't need t call "inherited". And this works pretty well, when I test it. Could you please provide an example of code where FixInsight gives a warning for a record constructor? So I will be able to reproduce it and fix.
Hm. FixInsight supports all Delphi versions since 2006. So, Delphi 2007 is supported too. Did you try it?
That's true. Includes are ignored. It's on the roadmap though.