This pull request just exists to have a place to put comments.  Please don't pull!

Why is this a separate header from natty.h?