Rename gemini.a.o to archive.a.o
View options
With gemini now only hosting the archive (!905 (merged), #531 (closed)), it should be renamed to "archive", so that the name reflect the function of the server.
In the past we had multiple servers with this "pet" naming (#180 (closed)), but they were decommissioned as we transitioned away from a few big servers to many small function specific servers (mostly cloud VMs).
So with the renaming of this server, that journey is now complete.
Link items together to show that they're related or that one is blocking others.