Quran text and recitations in Bayt Launcher

Quran text (assets/quran/quran-uthmani.txt): Tanzil Project, https://tanzil.net. Used verbatim under Tanzil's terms:
copies must be verbatim, the text may not be changed, the source (Tanzil Project) is indicated and tanzil.net is
linked so users can keep track of changes (http://tanzil.net/updates/). The file keeps Tanzil's notice.

Surah names and verse counts (assets/quran/surahs.txt): Tanzil quran-data.xml, (C) 2008-2009 Tanzil.info, CC BY.
Madinah Mushaf pages and juz (assets/quran/pages.txt, Mushaf mode): Tanzil quran-data.xml, (C) 2008-2009 Tanzil.info, CC BY.

Meaning of the verses, from QuranEnc.com (https://quranenc.com), under its terms: republished without change, with
QuranEnc and the version named, and updated when QuranEnc updates. Only the footnote markers and the verse numbers in
front of the verses are left out (Bayt shows its own numbers, not the notes).
- English (assets/quran/en-saheeh.txt): Saheeh International, issued by Noor International Center; QuranEnc
  english_saheeh V1.1.2, https://quranenc.com/en/browse/english_saheeh
- German (assets/quran/de-bubenheim.txt): Abdullah as-Samit (Frank Bubenheim) and Dr. Nadeem Elyas; QuranEnc
  german_bubenheim V1.1.4, https://quranenc.com/en/browse/german_bubenheim
Made by tools/quran/make_translation.py.

Recitations: streamed, not bundled, from the Islamic Network CDN (https://alquran.cloud,
terms: https://alquran.cloud/terms-and-conditions): free, non-commercial streaming; the copyright of each recitation
lies with its reciter, who is named on the player screen. Islam Sobhi and Ahmad Talib bin Humaid are streamed from
mp3quran.net (https://mp3quran.net) while they play; its terms are quoted below.

Verse timings (assets/quran/timings/): when each verse starts in the recordings of Yasser Al-Dossari, Nasser Al-Qatami,
Fares Abbad and Abdul Basit Abdus-Samad (Mujawwad), so the verse text and the Mushaf follow them. From mp3quran.net's
Timing API (https://www.mp3quran.net/api/v3/ayat_timing), checked against the recordings Bayt plays and moved to fit
them; the surahs that did not fit are worked out from the audio (below), except Abdul Basit's. mp3quran.net's terms
(https://mp3quran.net/eng/privacy): "Copyrights: All rights are available to everyone, and we allow any visitor or
developer to copy any material or use any link on the websites." The timings are part of the app: Bayt asks
mp3quran.net for nothing but the recitations it streams from there.

Verse timings for Muhammad Al-Luhaidan, Islam Sobhi and Ahmad Talib bin Humaid (assets/quran/timings/luhaidan.txt,
sobhi.txt, talib.txt), and for the surahs above that mp3quran.net's
timings did not fit (a comment line in each file names them): worked out from the recordings that Bayt plays, on the
developer's computer, with a speech model: Meta's MMS forced aligner (torchaudio's MMS_FA, published by the authors of
"Scaling Speech Technology to 1,000+ Languages" under CC BY-NC 4.0, https://creativecommons.org/licenses/by-nc/4.0/).
Bayt contains only the resulting times, not the model, and is free.

Tajweed colours: cpfair/quran-tajweed (CC BY 4.0, Collin Fair), see quran-tajweed.txt.
Mushaf headers: QUL surah and juz name header fonts (CC BY 4.0), see qul-header-fonts.txt.