Export editable mapping as segmentation

[philippotto]

See #6288.

Probably as a worker job?

[fm3]

Unassigning myself for the moment as I wrote a python script, as discussed, to solve this for a single user. It could eventually be turned into a worker job, by passing the right parameters and selecting the right paths.