Extensionless headers

[Phil Edwards]

> OK, just committed to mainline.  Thanks for handling the logical
> conflict with your patch. ;-)

No problem.  My patch has been checked in.  There will be another patch
soon to fix up the doxygen hooks.

Now, what to do about the other files in the source tree without extensions?
Not only the ext/* ones, but the various C wrapping headers?  (I think
I'm staying out of that debate.)


Phli