Merge "Remove cargo2android.py." into main