Pragmas inside multi-line comments not supported

[sheaf]

Commenting out a bit of code that uses pragmas seems to cause issues, for instance:

The highlighter seems to believe the multi-line comment ends with the closing #-} of the pragma.

(This isn't a new issue, previous versions of the extension suffered from the same problem I believe.)