4 ms·

Unimportant. The patent problem needs to be solved Right Now, and it's worth risking a long term complication.