Oh, thank you. So it is a bug after all… Looks like my problem was that I extracted a single band (the one I wanted to save) and thus was not able to select another band and then go back. Doing this indeed makes “Export Mask Pixels” selectable.
1 Like