Didn’t Pico used to be a shell grep like search? Or was that another project?

I thought it was a Windows SSH / terminal tool. I’m probably remembering wrong.

Edit: Found it already. I was definitely thinking of Putty.

And a minimal CSS framework.