"B. Wilson via Guix-patches" via writes: > Just a new somewhat application-specific font. Thanks, I've now pushed this to master as 9a4dd01f1da2681fef8f89d43a43efa4ccbb5a16. Chris