Create a name that is pronounced how it is spelled
Devuan is. Just not in English.
This will be, what, 14-15 year old tech by now?
Probably even more since space-rated gear trails by a few years at spec parity.
A closer comparison would be: Gucci sells handbags and also supplies a specific cleaning product. Said product works fine on original Guccis, but ruins the leather on knockoff ones.
To be fair, Red Hat was the same * (still is to a lesser extent**).
There's a substantial difference: RHEL is usable.
Why all this effort to refloat her? As has been pointed out, she's been partially and asymmetrically submerged for the better part of two years, surely it'd be easier to just send in the divers with cutting torches or shaped charges, split the hull, and float her off in sections on barges (as they ended up doing with MSC Napoli)?
Doing that in a marine sanctuary would have a significant environmental impact.