#472 Export now gives mappign permissions so that mapped arcs show up as regular ones, while still supporting the temporary hover over mapping arcs. I did it in a hackish way, but I can't conceive of another way.