Yes that works, although it generates an option that my curl doesn't like (--1.0) so I have to edit that out (or find the option to change it in FF). Better tha

Yes that works, although it generates an option that my curl doesn't like (--1.0) so I have to edit that out (or find the option to change it in FF). Better than the strategy I suggested, but still a lot clunkier than Ctrl-U. Grumble.