For anyone else who was confused to see a paper use the same name as a commercial product, it looks like Google Gemini was announced in May, whereas this was submitted to SOSP that had an April submission deadline.
This is underrated information. I’ve seen so many products and even companies fail because the name led to millions of unrelated search results. Even if they are a giant it can still lead to bad outcomes.