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