The manual is in English, it's in the zip file.
The Brazilian Portuguese manual is downloaded separately.
You are right! I actually loaded the zip on my Anbernic as-is and it worked just fine so I did not bother to unzip. It's there. Thanks!