I wouldn't get too worked up over the use of the word MiniMig. Just as some might call an official (can it be official?) MiniMig an Amiga, I suspect that the term MiniMig will be used as common vanacular for any of the FPGA based Amiga compatibles.
I know, I look forward to the day when I can genericaly refer to this hobby's hardware as MiniMigs, and it's software as AROS. I look forward to the day that 'Amiga' can be considered the old company that original built hardware fixed MiniMigs and wrote the original version of AROS.