==== REQUIRED BASIC INFO OF YOUR IREDMAIL SERVER ====
- iRedMail version (check /etc/iredmail-release):  1.3.1
- Deployed with iRedMail Easy or the downloadable installer? Installer
- Linux/BSD distribution name and version: Centos 8
- Store mail accounts in which backend (LDAP/MySQL/PGSQL): MySQL
- Web server (Apache or Nginx): Nginx
- Manage mail accounts with iRedAdmin-Pro? No
- [IMPORTANT] Related original log or error message is required if you're experiencing an issue.
====

I'm confused trying to apply an update iRedAdmin has told me about. Here's the sequence of events:
1. iRedAdmin Control Panel says in red: Update available: 1.2 (the line above says it's currently 1.0)
2. Clicking on 1.2 brings up instructions to "Migrate or Upgrade iRedAdmin / iRedAdmin-Pro"
3. Section two ("Download the latest iRedAdmin") says "'... open source edition is available for download here"
4. "here" link from above takes me to a github tags list. In the entry 1.2, the tar.gz link points to https://github.com/iredmail/archive/1.2.tar.gz (which I've downloaded to /root/)

The Issue
-----------
Returning to the instructions (3. above), the next section ("Upgrade Steps") implies that the download file looks like iRedAdmin-x.y.z.tar.gz

But it doesn't, of course, it's simply 1.2.tar.gz

Is this just a documentation problem (and I should decompress and run it anyway) or have I gone wrong somewhere?

Thanks for help,
Paul