Probably, but unfortunately the answer is YES!
I have the same assumption as you
I'm looking for meaning in this, and I can't find it. I look at the source code of both coins, and I see that it is different. Why do double work? How does a WAVI get involved?