I think this is right; if we swallow it, the user might think that the file was included, but that it was empty for some reason, which would be a very perplexing thing to try to debug. If the include:: macro shows up in the output, it should be much more obvious to the user what happened (namely, it didn't get processed).