OpenGL-based live display for Lima, useful for interactive Python sessions