user-select is a CSS property that is not yet standard, and its behaviou...

...r can change. (https://developer.mozilla.org/en-US/docs/Web/CSS/user-select).

In Firefox there was a selection problem because of this.
I think it would be better for this to simply say:
"Because this feature is broken in Firefox"
And you need to comment out the entire line.