Rename plugin headers to .inc.
These are non-standard headers, included in specific places within an existing Eigen namespace. Changing the extension prevents tools from treating them as standard headers, preventing them from being auto-suggested.
These are non-standard headers, included in specific places within an existing Eigen namespace. Changing the extension prevents tools from treating them as standard headers, preventing them from being auto-suggested.