Where is "Export Movie"?

[Grant_Edwards]

According to the manual:

With „Export Movie“ a video can be stored in the format mp4, avi or as a sequence of pictures.
Here you have the best quality, but the export needs some time. The sound will not be recorded
in the file.

I can't find "Export Movie" anywhere.

[Grant_Edwards]

I can't find "Export Movie" anywhere.

Does anybody else have an "Export Movie" button/option anywhere in v9.1?

Is "Export Movie" not available on Linux?

[Michael]

Sorry for the late answer....

I removed this, because it was not possible to record sound at the same time. Please use OBS studio or a similar tool for this purpose.

[Grant_Edwards]

I removed this, because it was not possible to record sound at the same time. [...]

Thanks. I now see that the online manual quoted in my original post is for Version 8.0.