As a reference for future me, I learned of a great font resource for nerds watching YouTube last night: www.nerdfonts.com