Likely just uses the Staan.ai index, but still really neat to see in action. Also the mascot is cute.
Video about GrapheneOS