ON ANDROID:

1. Using your preferred file browser, Navigate to /Music/Ringtone
   (make the Ringtones directory if you don't already have it)
2. Download and copy the ringtone(s) you want into that folder.
3. Configure the ringtone like normal in the settings app.
Note: Android uses the 'Title' Field, not the name of the file. Every ringtone here
	already has a reasonable title set but can be edited using a program
	such as MP3Tag.

ON iOS:

1. Download the Ringtone(s) you want to use
2. Locate the downloaded ringtones in the Files app
3. Long-press the ringtone, tap 'Share' and select 'Use as Ringtone'
4. Configure the ringtone like normal in the settings app.
Note: iOS uses the filename as the name of the ringtone (- the file extension)
	You may want to change the name of the file to be clearer when selecting
	a ringtone. (i.e. PortalRingtone.mp3 ? Portal_Radio_Tune.mp3)