the point was that alternatives may be available on different platforms. i'm not sure how to express it more clearly.

but the point is that this change is transparent, only "advanced users" need to change it. perhaps remove the documentation? or you can come up with better wording?