fix build error with missing Event#2185

Merged

Fil merged 1 commit intomainfrom

Oct 2, 2024

Commits on Oct 2, 2024

#2169 has introduced an error when building the documentation site; this routes around it. I haven't seen a difference in the public-facing result.
Fil
committed