Re: Header cleanliness

[Nicola Pero]

> > - wether to use #import or #include
> 
> I'd say #include. Either way, I think public headers should be
> #include-safe.

Yes - #include is better, but as some people really like to use #import
(in part for compatibility reasons), we should probably leave that
unspecified.

What is essential instead is that all public headers are protected against
multiple inclusions properly so that they can be used with #include.