I should point out that even the F4PGA page [admits](https://f4pga.readthedocs.io/en/latest/how.html https://f4pga.readthedocs.io/en/latest/how.html) that ECP5

I should point out that even the F4PGA page [admits](https://f4pga.readthedocs.io/en/latest/how.html https://f4pga.readthedocs.io/en/latest/how.html) that ECP5 and iCE40 support is done through nextpnr, rather than VPR. (actually nextpnr has slowly-maturing support for Lattice MachXO{2,3}, Intel Cyclone V and Gowin parts too)