I think we had it 4096, and then wanted to make it larger.  Not sure if it
will really affect the speed, but the intention was clearly 8192.