Hi Henry,
Thanks for checking out our plugins!
There is not currently any built-in event export functionality like this (in the free or Pro versions), but you can try using the free WP All Export plugin, which provides some great options for exporting posts (like events) to a .csv file.
If this is a feature you would like to see added in the future, we’d love it if you could post the idea in our Feature Ideas Forum! We use it to gauge user interest in new features and help plan future development.
For an .ics file, Events Calendar Pro does come with some exporting options on the front end – you can read more about how this works here.
Please let me know if you have any other questions!
Thanks,
Jennifer