chore: merge `dev` branch to `main` branch#945

Merged

Ushie merged 13 commits intomainfrom dev

Jun 24, 2023

+514-428

Commits on Jun 14, 2023

Commits on Jun 15, 2023

Commits on Jun 16, 2023

Commits on Jun 17, 2023

docs: improve clarity of footnotes [skip ci] (#950 )
taku-nm
authored

Commits on Jun 22, 2023

feat(mount): use /data/adb/revanced again and ensure migration scenario (#948 )
ponces
authored