There's a lot to like about Pragmata Pro, but I'll never use a terminal font that isn't OFL.