Export point cloud for download

By specifying an extent and timestamp you can export specific points in a point cloud layer. The export can later be downloaded as a file.