If the pico doesn't work? 2025-04-17 I am getting "command not found" error when I typed "pico" on my box via SSH. How can I make it work? Or what else I can use other than pico? Thank you, Leo