Thanks for the excellent 'home-work' :-)

This is actually a limitation in the Win32 API used by Readline. Turns out that reading files this large (64MB+) across the network can run into system resource limitations. I will investigate to see if there is a way around this. If there is, the fix will be included in 4.53.

Regards,

Ruud