(Android) use libretro.org for overlay manual, not github repo