It claims theres an android download port but the android option doesn't appear, or do you have to specifically pay for the android download?
Below the Android option:
if you pay $1 USD or more
Android ports usually take more effort, so $1 is reasonable IMO.
