Xiaomi 13 pro, help: I was using AI Beautiful and AI Smart to edit photos in the Gallery when the device started lagging a bit. After that, the two options—AI Beautiful and AI Smart—disappeared. Now, under the photo editing section, there are only "Auto (Basic)" and "Smart (Beautiful)"...