The tiny Python Line Editor. A product of boredom.