pico is a bad editor