In fact these docs are out of date and now even more boards are supported. You can find the list directly in icestudio menu. If you want to check it beforehand without installing icestudio, i think it's possible to see the list here in source code:

https://github.com/FPGAwars/icestudio/tree/develop/app/resou...