co-24.04.9-mobile

iOS and Android mobile releases are built from this tag

This release contains various fixes, some mobile-specific highlights are

• Improved copy-paste on iOS (it's still not fully fixed but you should be able to copy/paste most things which don't require rich document context, for example bold text and hyperlinks should both copy/paste fine whereas footnotes won't)
• Fixed the Android progress bar
• Improved our external keyboard detection