I want to use proportional fonts, but the terminal fonts don’t support those font grids well.