Fixed linter complaints, at least locally :-).

Generally looks OK, here are some more or less minor comments to address though.

Thanks for the review, good catches. Yes, some of pieces embarrassingly look non logical or even weird.
This is adaptation of the locally backed lexer.

I will resolve the things.

Ping?

Ping?

Sorry for the delay, things went a bit unplanned last week.

It is in my list. I am going to resolve all the comments today or tomorrow.

I have updated the things.

Ping?

Sorry for the delay, things went a bit unplanned last week.

No worries; I was just trying to make sure of the status (we have a number of open PRs where I am not sure whether the author consciously abandoned them or just forgot about them…).

I'll review this again.

Thanks for the review.
I have updated things.