First of all, I had to copy list-widget.php to [my-theme]/tribe-events/widgets, NOT to [my-theme]/tribe-events/pro/widgets, as the the documentation states. Otherwise this file was being ignored.
Once it was found, the helper functions that it calls are not available:
FATAL ERROR: CALL TO UNDEFINED FUNCTION TRIBE_EVENTS_GET_LIST_WIDGET_VIEW_ALL_LINK() IN /VOLUMES/OPT/WORDPRESS/JUPITER2/WP-CONTENT/THEMES/JUPITER-CHILD/TRIBE-EVENTS/WIDGETS/LIST-WIDGET.PHP ON LINE 39
This file is an identical copy of the one in [my-theme]/wp-content/plugins/events-calendar-pro/src/views/widgets/pro/widgets/list-widget.php.
I’m simply trying to customize this file using a copy in the “tribe-events” subdirectory tree of my theme. What am I doing wrong?