RE: forward-comment and syntax-ppss

[Drew Adams]

> > "Narrowing breaks proof-general".  Really?  Narrowing did that?
> 
> I mean that narrowing a buffer causes Proof General to misbehave.  That's
> obviously a Proof General bug; I only intended it as an example of a
> facility for which narrowing made things harder.

OK.  But that's like saying that variables break program `xyz'
because variables make things harder.  Yes, things that change
state make things harder, and that includes narrowing.  If this
were Haskell then things wouldn't be so hard...