@nikitonsky Re icon fonts in terminals: Okay, I'll bite. How else to get icons in the terminal?

PS: Great post. By which I mean depressing. And reaffirming my appreciation for TeX.