I guess this question has a few parts:
- Are CiviCRM extensions are considered to be modifications of CiviCRM?
- Are custom file overrides considered to be modifications of CiviCRM?
- If so, then under CiviCRM's AGPL license, are sites running extensions and custom file overrides required to make those modifications available for download to people who use the site?
For example, if custom code (file override or extension) modifies functionality of a public-facing event registration page, does that page need to contain links to download the modified code?