You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Post-filtering over the output is trivial, so I haven't felt the need for that, so far. A potential problem is that downstream applications might rely on prefixes for identifying blocks of information. In any case, post-filtering should be optional.
Mostly a cosmetic issue, but even this (lone) comment gets the full treatment of eight prefix statements.
This is probably quite low priority, but something I'd like to track.
The text was updated successfully, but these errors were encountered: