Hello there!
After excessive research, we found that our plugin was causing some problems when flashing, and that some boards were not recognized automatically.
Not only did we resolve these issues, but we additionally created an automated code testing, which will allow us to develop and resolve such future issues much faster.
You can drop us a line if your have any feedback, comments or ideas!
Best codebender