On 7/03/2023 10:14 pm, Francesco Chemolli wrote: > I like this idea; I would also complement it with the directive to use > header <cXXXXX> instead of <XXXXX.h> whenever possible - this could > also be automatically enforced > That we already have. PRs doing the updates welcome. Amos