Yeah i also was confused of the naming convention and i also agree with you. I guess it should be something like 10.0r9 as you said.
This is the message from the support case, you see what i mean:
4/30/2020 1:20 AM - Self Service User
Thank you for the information.
We just find out that this is a known issue and we’re going to release a bug fix, ETA for the fix somewhere around 5 May 2020.
Will inform you once the fix release in portal for download.
Besides, will transfer this case to CET time zone support. Thank you for your patient.
So it could also be, that this update will arrive within the next days but what i mean is, i am not able to find the download area of the AP 130 (see the following screenshot)