Does it make any sense to ask whether "include" is hygienic or not?
"Include" takes strings as arguments, and strings are never renamed
due to macro expansion. Or are there unorthodox interpretations of
"include" I am not aware of.
It's about whether the included body is interpreted literally or is hygienically renamed in accordance with where it is in use.