• API Docs: Add docs for new bulk_search_export API
• Docs: Change array formatting to not use any HTML metacharacters.
• New Feature: Bulk export job, ticket, alert and snapshot search results, in CSV / TSV / NDJSON format, with optional gzip wrapper.
• Also, implement "Bulk Delete" on Alerts and Snapshots (admin only).
• Admin: Remove comment about unused API (it is now used).
• CSS: Tweak padding above first checkbox container in form row
• Event List UI: Replace "Delete" with "History" in action column.