Does the serif font in manim have any ties to Hershey fonts or the BGI vector fonts packaged with 90s Borland products? I guess any TTF font can also be rendered line-by-line but the animation does remind me of BGI example code running on slow IBM PCs.