Navigator and wav export

From a conversation on the Italian forum appears that, on Windows 10, the navigator slow down or block the export in wav format.
A small change in the handbook has been inserted:
To export files * .mscz over a certain file size in * .wav, you may want to remove, by acting on "View", the Navigator from the file page * mscz.
Comments and suggestions are appreciated.