OK, here are the instructions for the workaround:
Run this command from the terminal:
mv ~/.arduino15/packages/arduino-beta ~/.arduino15/packages/arduinobeta
(In the Arduino Pro IDE) File > Settings > Open CLI Configuration
To the "additional_urls" field of the arduino-cli.yaml file that is opened, add the URL:
https://gist.githubusercontent.com/per1234/e49b8ff532b1617d880a9f08298cada9/raw/af4158932e1537bc90bbc5c741340765eeb2c2c4/package_portentaworkaround_index.json
as shown below:
board_manager:
additional_urls: [https://gist.githubusercontent.com/per1234/e49b8ff532b1617d880a9f08298cada9/raw/af4158932e1537bc90bbc5c741340765eeb2c2c4/package_portentaworkaround_index.json]
Wait for the "Index has been updated." message to be shown at the bottom right corner of the Pro IDE window.
Close all Arduino Pro IDE windows.
Start the Pro IDE again.
Doing this changes the Portenta's FQBN from arduino-beta:mbed:envie_m7 to arduinobeta:mbed:envie_m7, which will allow you to use the Portenta with the Arduino Pro IDE without getting the invalid FQBN error.
MindCode:
It depends on whether there are negative impacts with the workaround or not.
The problem with the workaround is that you are now using the temporary package index I published for the sake of this workaround. Previously, you were using the official package index from Arduino, which will be updated whenever there is a new release of the Portenta's platform, allowing you to easily keep the platform updated to the latest version. My package index won't be updated (due to the way I published it, I actually can't update it without changing the URL), which could cause you to continue using the current 1.2.0 version even after Arduino has released a new and improved version.
You would just need to check whether there is a new version available of the official platform from time to time.
The only other possible issue is that changing the vendor name from arduino-beta to arduinobeta will prevent other platforms (most likely a 3rd party platform) from being able to reference resources from the Portenta's platform. However, this is a brand new platform, which has a temporary vendor name, so it's very unlikely that any platform author will attempt to reference it. I'm sure there are not currently any platforms referencing it.
Once the next release of the Pro IDE is made with support for hyphenated FQBN, you can reverse the changes you made by following the instructions above to go back to using Arduino's official platform for the Portenta (name the folder back to arduino-beta and remove the temporary package index URL from the CLI configuration).