That note explicitly refers to 9600 bps.
A higher audio sample rate provides no benefit for 1200 bps.
You can use -D2 or -D3, on the command line, to down-sample the audio rate before demodulating.? This greatly decreases the CPU requirements with little impact on the decoding performance.?? This is useful for a slow ARM processor, such as with a Raspberry Pi model 1.