◐ Shell
clean mode source ↗

Message 196388 - Python tracker

Any comments regarding my naming suggestion?

Calling it a "push" parser is just too ambiguous.