--------------------------------
	Don't export the inlining for a foreign
	import that has a #include directive
	--------------------------------

Reason for this change: if the inlining is imported into another
module, the latter may not have the right #include directives.

Also add notes to the documentation to explain the issues.