ParentFull threadendunless·Given GitHub is owned by Microsoft, I think VS Code supporting mixing fonts in a buffer would be a good start!View on HN