How updates work
- Public symbols scheduled for automatic coverage are refreshed once per day, typically around 9:00 AM.
- There are no further automatic refreshes later in the day unless a manual refresh is triggered.
- Symbols outside the auto-updated list can still be refreshed manually by the user from the page.
- Material factual mistakes, broken references, or misleading timestamps should be corrected when identified.