Why V.32bis modems are 14400 bps rather than 19200 bps (was Re: vt100 terminfo with padding for an actual vt100?)