Right now, only leading context are supported. Although the infrastructure is in place for both, the trailing context is always empty.

The question is how to implement it. The current stack implementation + buffer refill creates a few corner cases that may be tough to handle.

There are a lot of potential use cases for trailing contexts, e.g. checking that \section is followed by a \label.