Christophe
Christophe
Eventually found out the answer, thanks for confirming. Disappointing. (oh well, back on Chrome, but that's a different story.)
I expect desktopdesktop to be plenty useful, anyone with a home & work desktop is likely to want it for example.
> So the problem is that currently you can't catch this with middleware, right? That's certainly my problem, signals are no help either. Not only can't I add extra headers...
You're correct that there's no well-formed request, and I don't think calling middlewares makes any sense either, however something catches the error and responds to the client with a well-formed...
no `syntax-ppss-table` for me either.