Also, synchronize the docs between Navigator.push and NavigatorState.push (and friends).
stdin.lineMode