>I'm pretty sure this is off-by-one: 0x00000001 means "escape 0x00",
>0x00000002 means "escape 0x01", etc, up to 0x80000000 meaning "escape
>0x1f"

Yeah, you're right, sorry about that.

In a side note, if you don't already have it set, doing "asyncmap 0" should
speed up your PPP connection (assuming your link can handle those characters).
I'm not sure by how much, though.

--Ken