Not a major issue, but I tried to upload via WordPress’ On the “Add new” plugin page I searched for and found the plugin. Then clicked “install”. It generated the error message shown in the image attached here.
No problem installing by just uploading the zip file directly though.
Unfortunately, this is not something I can control. The installation from WordPress.org is beyond my control, they pack the release and deliver to WordPress installations. Most likely, that was a temporary issue, because I have used the same method to test the install of the plugin on a few websites, and it was all OK.