Remove unused command-line options that had been included for Pico compatibility
Remove mention of now-removed Pico-compatibility command-line options from more docs