Ah, my bad. Wishful thinking going from GitHub to rails site.

Rails minor versions are a bit odd imnho - but you're right 7.1 isn't under support anymore.