It was a kind of musical text editors game. I tried them all, and the one I was using on the day exhaustion set in is the one I stuck with.

//