Add an "Ingest" button to GitHub repo pages with improved visual alignment.
As of 2025-01-17. See the latest version.
