Why does this have to be curl | sh if there’s a checkbox in the settings for this specific setting? Do you value your privacy so much that you’re ready to run arbitrary script directly from internet?
That means you have 3 choices:
* Use curl to run the script as directed
* copy/paste the command line content, edit if desired, and run
* follow the instructions to update through the UI.
"yeah but you could serve a different page with the curl UA"
ok, then you just change about:config?