Thanks! It's already supported. On the left-hand menu, click on the share/forward icon, and there's an export to GPX and KML option there.