2.5.12

More settings clean-up. "Refresh embeddings" button in settings replaces former "Prune" button. Toggle mobile setting removed since mobile is now always available.