Hi, I want to add some information over a video stream such as text and 2D shapes. It has to be fast, minimizing the delay on the video stream. I know RPi has some graphics programming libraries such as OpenGL ES and OpenVG, both with some python wrappers. According to your experience, do you think ...