FPGA binary name doesn't match the one taken by the driver
The name of the file produced from WR-NIC synthesis is different than the one expected by wr-nic driver. Sure it can be renamed or wr-nic driver may be loaded with gateware="fmc/xxxx" parameter, but since it's not the default way described in the documentation it confuses our WR Users.