A little sad in a way, but this seems like the right call. I haven't used Pico in a very long time, and I don't think I'd choose it today.